S. ;. Abiteboul-;-abiteboul, J. Paredaens, and D. V. Gucht, Updates, A new frontier, ICDT'88, 2nd International Conference on Database Theory, pp.1-18, 1988.

. Ahmetaj, , 2017.

, Managing change in graph-structured data using description logics, ACM Trans. Comput. Log, vol.18, issue.4, p.35

A. , , 1985.

, On the logic of theory change: Partial meet contraction and revision functions, J. Symb. Log, vol.50, issue.2, pp.510-530

A. and H. , The Stanford Encyclopedia of Philosophy, 2014.

. Askounis, Knowledge means 'all', belief means 'most', Journal of Applied Non-Classical Logics, vol.26, issue.3, pp.173-192, 2016.

G. ;. Aucher, M. Batt, G. Heinzmann, F. Lihoreau, M. Musiol et al., Principles of knowledge, belief and conditional belief, Dialogue, Rationality, and Formalism, vol.3, pp.97-134, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01098789

[. Baader, The Description Logic Handbook: Theory, Implementation, and Applications, 2003.

[. Baader, Description logics as ontology languages for the semantic web, Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, vol.2605, pp.228-248, 2005.

[. Baader, CEL -A polynomial-time reasoner for life science ontologies, Automated Reasoning, Third International Joint Conference, vol.4130, pp.287-291, 2006.

S. Baader, F. Baader, and B. Suntisrivaraporn, Debugging SNOMED CT using axiom pinpointing in the description logic EL+, Proceedings of the Third International Conference on Knowledge Representation in Medicine, vol.410, 2008.

[. Balbiani, DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE, 2014.

[. Balbiani, Dynamic logic of propositional assignments: A well-behaved variant of PDL, 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, pp.143-152, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01240721

. Bell, J. Bell, and L. E. Bertossi, Database Repairing and Consistent Query Answering, Synthesis Lectures on Data Management, vol.41, issue.3, pp.365-374, 1990.

[. Bienvenu, Querying inconsistent description logic knowledge bases under preferred repair semantics, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, pp.996-1002, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01007557

[. Bienvenu, Querydriven repairing of inconsistent dl-lite knowledge bases, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, pp.957-964, 2016.
URL : https://hal.archives-ouvertes.fr/hal-02152060

. Boutilier and C. Boutilier, Conditional logics for default reasoning and belief revision, 1992.

C. Boutilier, Conditional logics of normality: A modal approach, Artif. Intell, vol.68, issue.1, pp.87-154, 1994.

[. Britz, Preferential reasoning for modal logics, Electr. Notes Theor. Comput. Sci, vol.278, pp.55-69, 2011.

. Britz, K. Varzinczak-;-britz, and I. J. Varzinczak, Introducing role defeasibility in description logics, Logics in Artificial Intelligence -15th European Conference, vol.10021, pp.174-189, 2016.

K. Britz and I. J. Varzinczak, Towards defeasible SROIQ, Proceedings of the 30th International Workshop on Description Logics, vol.1879, 2017.

[. Caroprese, , 2006.

, Declarative semantics of production rules for integrity maintenance, Logic Programming, 22nd International Conference, vol.4079, pp.26-40, 2006.

[. Caroprese, Active integrity constraints for database consistency maintenance, IEEE Trans. Knowl. Data Eng, vol.21, issue.7, pp.1042-1058, 2009.

[. Caroprese, L. Truszczynski-;-caroprese, and M. Truszczynski, Active integrity constraints and revision programming, TPLP, vol.11, issue.6, pp.905-952, 2011.

[. Casini, G. Straccia-;-casini, and U. Straccia, Rational closure for defeasible description logics, Logics in Artificial Intelligence -12th European Conference, vol.6341, pp.77-90, 2010.

[. Ceri, Automatic generation of production rules for integrity maintenance, ACM Trans. Database Syst, vol.19, issue.3, pp.367-422, 1994.

T. Charrier, F. Schwarzentruber, K. Larson, M. Winikoff, S. Das et al., A succinct language for dynamic epistemic logic, Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, vol.2017, pp.123-131, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01487001

B. F. Chellas, Basic conditional logic, J. Philosophical Logic, vol.4, issue.2, pp.133-153, 1975.

[. Chomicki, J. Marcinkowski-;-chomicki, and J. Marcinkowski, , 2005.

, Minimal-change integrity maintenance using tuple deletions, Inf. Comput, vol.197, issue.1-2, pp.90-121

[. Cooper, A simple account of multi-agent epistemic planning, The Netherlands -Including Prestigious Applications of Artificial Intelligence, vol.29, pp.193-201, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01500521

[. Crocco, Conditionals: From Philosophy to Computer Science. Studies in Logic and Computation, 1996.

C. Cruz-filipe and L. , Optimizing computation of repairs from active integrity constraints, Foundations of Information and Knowledge Systems -8th International Symposium, vol.8367, pp.361-380, 2014.

. Cruz-filipe, , 2013.

, Computing repairs from active integrity constraints, Seventh International Symposium on Theoretical Aspects of Software Engineering, vol.2013, pp.183-190, 2013.

J. P. Delgrande-;-delgrande, A first-order conditional logic for prototypical properties, Artif. Intell, vol.33, issue.1, pp.105-130, 1987.

J. P. Delgrande, An approach to default reasoning based on a first-order conditional logic: Revised report, Artif. Intell, vol.36, issue.1, pp.63-90, 1988.

J. P. Delgrande, Conditional Logics for Defeasible Reasoning, volume 2 of Handbook of Defeasible Reasoning and Uncertainty Management Systems, pp.135-173, 1998.

J. P. Delgrande-;-delgrande, On a rule-based interpretation of default conditionals, Ann. Math. Artif. Intell, vol.48, issue.3-4, pp.135-167, 2006.

J. P. Delgrande, G. Brewka, V. W. Marek, M. Truszczy?ski, and . Ditmarsch, What's in a default? thoughts on the nature and role of defaults in nonmonotonic reasoning, NonMonotonic Reasoning, vol.31, pp.89-110, 2007.

[. Doutre, A dynamic logic framework for abstract argumentation, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01787378

L. Eiter, T. Eiter, and T. Lukasiewicz, Default reasoning from conditional knowledge bases: Complexity and tractable cases, Artif. Intell, vol.124, issue.2, pp.169-241, 2000.

. Feuillade, G. Herzig-;-feuillade, and A. Herzig, A dynamic view of active integrity constraints, Logics in Artificial Intelligence -14th European Conference, vol.8761, pp.486-499, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01159678

[. Feuillade, A dynamic extension of ALCO for repairing via preferred updates, Proceedings of the 31th International Workshop on Description Logics, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02147891

[. Feuillade, A dynamic logic account of active integrity constraints. Fundamenta Informaticae, 2019.

L. Fischer, M. J. Fischer, and R. E. Ladner, Propositional dynamic logic of regular programs, J. Comput. Syst. Sci, vol.18, issue.2, pp.194-211, 1979.

[. Flesca, Active integrity constraints, Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pp.98-107, 2004.

. Flouris, Special issue on ontology dynamics, J. Log. Comput, vol.19, issue.5, pp.717-719, 2009.

. Flouris, Updating dls using the AGM theory: A preliminary study, Proceedings of the 2005 International Workshop on Description Logics (DL2005), vol.147, 2005.

. Friedman, N. Halpern-;-friedman, and J. Y. Halpern, Modeling belief in dynamic systems, part I: foundations, Artif. Intell, vol.95, issue.2, pp.257-316, 1997.

H. Geffner and J. Pearl, Conditional entailment: Bridging two approaches to default reasoning, Artif. Intell, vol.53, issue.2-3, pp.209-244, 1992.

M. L. Ginsberg, Counterfactuals. Artif. Intell, vol.30, issue.1, pp.35-79, 1986.

[. Giordano, , 2009.

, Analytic tableaux calculi for KLM logics of nonmonotonic reasoning, ACM Trans. Comput. Log, vol.10, issue.3, p.47

[. Giordano, , 2015.

, Semantic characterization of rational closure: From propositional logic to description logics, Artif. Intell, vol.226, pp.1-33

R. Goldblatt, Logics of Time and Computation. Center for the Study of Language and Information, 1987.

. Harel, Dynamic Logic, 2000.

A. Herzig-;-herzig, Belief change operations: A short history of nearly everything, told in dynamic logic of propositional assignments, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014.

[. Herzig, On the revision of planning tasks, ECAI 2014 -21st European Conference on Artificial Intelligence, vol.263, pp.435-440, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01399881

[. Herzig, , 2016.

, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, vol.2016, pp.1116-1122, 2016.

. Ijcai/aaai-press,

[. Herzig, A dynamic logic of normative systems, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pp.228-233, 2011.

R. Herzig, A. Herzig, and O. Rifi, Propositional belief base update and minimal change, Artif. Intell, vol.115, issue.1, pp.107-138, 1999.

. Horrocks, The even more irresistible SROIQ, Tenth International Conference on Principles of Knowledge Representation and Reasoning, pp.57-67, 2006.

V. Jauregui, Modalities, Conditionals and Nonmonotonic Reasoning, 2008.

[. Kalyanpur, , 2007.

K. Aberer, K. Choi, N. F. Noy, D. Allemang, K. Lee et al., Finding all justifications of OWL DL entailments, The Semantic Web, p.6

, International Semantic Web Conference, 2nd Asian Semantic Web Conference, vol.4825, pp.267-280, 2007.

H. Katsuno and A. O. Mendelzon, On the difference between updating a knowledge base and revising it, pp.183-203, 1992.

J. A. Allen, R. Fikes, and E. Sandewall, Principles of Knowledge Representation and Reasoning: Proc. 2nd Int. Conf, pp.387-394, 1991.

[. Koutras, Default reasoning via topology and mathematical analysis: a preliminary report, Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning, 2018.

[. Koutras, A reconstruction of default conditionals within epistemic logic, Proceedings of the Symposium on Applied Computing, pp.977-982, 2017.

[. Koutras, A reconstruction of default conditionals within epistemic logic. Fundamenta Informaticae, 2019.

[. Koutras, A modal logic of knowledge, belief and estimation, J. Log. Comput, vol.27, issue.8, pp.2303-2339, 2017.

C. D. Koutras and C. Rantsoudis, In all, but finitely many, possible worlds: Model-theoretic investigations on 'overwhelming majority' default conditionals, Symbolic and Quantitative Approaches to Reasoning with Uncertainty -13th European Conference, vol.9161, pp.117-126, 2015.

C. D. Koutras and C. Rantsoudis, all but finitely many possible worlds: Model-theoretic investigations on 'overwhelming majority' default conditionals, vol.26, pp.109-141, 2017.

[. Kraus, Nonmonotonic reasoning, preferential models and cumulative logics, Artif. Intell, vol.44, issue.1-2, pp.167-207, 1990.

P. Lamarre-;-lamarre, J. F. Allen, R. Fikes, and E. Sandewall, S4 as the conditional logic of nonmonotonicity, Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91), pp.357-367, 1991.

. Lamarre, P. Shoham-;-lamarre, and Y. Shoham, Knowledge, certainty, belief, and conditionalisation (abbreviated version), Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94), pp.415-424, 1994.

M. Lehmann, D. J. Lehmann, and M. Magidor, What does a conditional knowledge base entail?, Artif. Intell, vol.55, issue.1, pp.1-60, 1992.

[. Lembo, Inconsistency-tolerant semantics for description logics, Web Reasoning and Rule Systems -Fourth International Conference, pp.103-117, 2010.

W. Lenzen and D. Lewis, Recent Work in Epistemic Logic, 1973.

[. Liu, Foundations of instance level updates in expressive description logics, Artif. Intell, vol.175, issue.18, pp.2170-2197, 2011.

[. Meyer, Finding maximally satisfiable terminologies for the description logic ALC, Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, pp.269-274, 2006.

. Motik, Bridging the gap between OWL and relational databases, J. Web Sem, vol.7, issue.2, pp.74-89, 2009.

D. Nute-;-nute and . Parsia, Topics in Conditional Logic. Kluwer, Proceedings of the 14th international conference on World Wide Web, pp.633-640, 1980.

. Peppas, Revision vs. update: Taking a closer look, 12th European Conference on Artificial Intelligence, pp.95-99, 1996.

V. R. Pratt-;-pratt, Semantical considerations on floyd-hoare logic, 17th Annual Symposium on Foundations of Computer Science, pp.109-121, 1976.

. Rantsoudis, Repairing ABoxes through active integrity constraints, Proceedings of the 30th International Workshop on Description Logics, vol.1879, 2017.
URL : https://hal.archives-ouvertes.fr/hal-02064232

A. L. Rector, J. Rogers, F. Bry, E. Franconi, N. Henze et al., Ontological and practical issues in using a description logic to represent medical concept systems: Experience from GALEN, Reasoning Web, Second International Summer School, vol.4126, pp.197-231, 2006.

R. Reiter-;-reiter, A logic for default reasoning, Artif. Intell, vol.13, issue.1-2, pp.81-132, 1980.

R. Reiter, A theory of diagnosis from first principles, Artif. Intell, vol.32, issue.1, pp.57-95, 1987.

K. Schild, A correspondence theory for terminological logics: Preliminary report, Proceedings of the 12th International Joint Conference on Artificial Intelligence, pp.466-471, 1991.

K. Schlechta, Defaults as generalized quantifiers, J. Log. Comput, vol.5, issue.4, pp.473-494, 1995.

K. Schlechta, Filters and partial orders, Logic Journal of the IGPL, vol.5, issue.5, pp.753-772, 1997.

S. Schlobach and R. Cornet, Non-standard reasoning services for the debugging of description logic terminologies, IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, pp.355-362, 2003.

[. Schlobach, Debugging incoherent terminologies, J. Autom. Reasoning, vol.39, issue.3, pp.317-349, 2007.

K. Segerberg, Modal logics with linear alternative relations, Theoria, vol.36, issue.3, pp.301-322, 1970.

R. Stalnaker, On logics of knowledge and belief, Philosophical Studies, vol.128, issue.1, pp.169-199, 2006.

M. ;. Stockmeyer, L. J. Stockmeyer, A. R. Meyer, A. V. Aho, A. Borodin et al., Word problems requiring exponential time: Preliminary report, Proceedings of the 5th Annual ACM Symposium on Theory of Computing, pp.1-9, 1973.

[. Suntisrivaraporn, , 2008.

, A modularization-based approach to finding all justifications for OWL DL entailments

J. In-domingue and C. Anutariya, The Semantic Web, 3rd Asian Semantic Web Conference, vol.5367, pp.1-15, 2008.

[. Tao, Integrity constraints in OWL, Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, 2010.

. Tiomkin, M. L. Makowsky-;-tiomkin, and J. A. Makowsky, Propositional dynamic logic with local assignments, Theor. Comput. Sci, vol.36, pp.71-87, 1985.

[. Troquard, Repairing ontologies via axiom weakening, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018.

J. Eijck-;-van-eijck, Making things happen, Studia Logica, vol.66, issue.1, pp.41-58, 2000.

M. Winslett, H. E. Shrobe, T. M. Mitchell, and R. G. Smith, Reasoning about action using a possible models approach, Proceedings of the 7th National Conference on Artificial Intelligence, pp.89-93, 1988.

M. Winslett, Updating Logical Databases. Cambridge Tracts in Theoretical Computer Science, 1990.