[. Hariri, Verification of description logic Knowledge and Action Bases, Proc. of the 20th Eur. Conf. on Artificial Intelligence, pp.103-108, 2012.

[. Hariri, Verification of relational data-centric dynamic systems with external services, Proc. of the 32nd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, p.2013, 2013.

E. Leopoldo and . Bertossi, Consistent query answering in databases, SIGMOD Record, vol.35, issue.2, pp.68-76, 2006.

. Burkart, Verification on Infinite Structures, Handbook of Process Algebra, 2001.
DOI : 10.1016/B978-044482830-9/50027-8

. Calvanese, EQL-Lite: Effective first-order query processing in description logics, Proc. of the 20th Int. Joint Conf. on Artificial Intelligence, pp.274-279, 2007.

. Calvanese, Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family, Journal of Automated Reasoning, vol.104, issue.1,2, pp.385-429, 2007.
DOI : 10.1007/s10817-007-9078-x

. Calvanese, Ontologies and Databases: The DL-Lite Approach, Reasoning Web. Semantic Technologies for Informations Systems ? 5th Int. Summer School Tutorial Lectures, pp.255-356, 2009.
DOI : 10.1007/978-3-662-03927-4

. Calvanese, Evolution of DL?????????Lite Knowledge Bases, Proc. of the 9th Int. Semantic Web Conf, pp.112-128, 2010.
DOI : 10.1145/4879.4995
URL : https://hal.archives-ouvertes.fr/hal-00537785

. Calvanese, Ontology-Based Governance of Data-Aware Processes, Proc. of the 6th Int. Conf. on Web Reasoning and Rule Systems, pp.25-41, 2012.
DOI : 10.1007/978-3-642-33203-6_4

. Clarke, Clarke, Orna Grumberg, and Doron A. Peled. Model checking, 1999.

. Deutsch, Specification and verification of data-driven Web applications, Journal of Computer and System Sciences, vol.73, issue.3, pp.442-474, 2007.
DOI : 10.1016/j.jcss.2006.10.006

. Deutsch, Automatic verification of datacentric business processes, Proc. of the 12th Int. Conf. on Database Theory, pp.252-267, 2009.

G. Eiter, G. Eiter, and . Gottlob, On the complexity of propositional knowledge base revision, updates, and counterfactuals, Artificial Intelligence, vol.57, issue.2-3, pp.227-270, 1992.
DOI : 10.1016/0004-3702(92)90018-S

. Fagin, Data exchange: semantics and query answering, Theoretical Computer Science, vol.336, issue.1, pp.89-124, 2005.
DOI : 10.1016/j.tcs.2004.10.033

. Flouris, Giorgos Flouris, Dimitris Manakanatas, Haridimos Kondylakis, Dimitris Plexousakis, and Grigoris Antoniou. Ontology change: Classification and survey, Knowledge Engineering Review, vol.23, issue.2, pp.117-152, 2008.

. Ghallab, Automated planning ? Theory and Practice, 2004.

. Lembo, Inconsistency-Tolerant Semantics for Description Logics, Proc. of the 4th Int. Conf. on Web Reasoning and Rule Systems, pp.103-117, 2010.
DOI : 10.1007/978-3-642-15918-3_9

. Limonad, Ontology of Dynamic Entities, Proc. of the 31st Int. Conf. on Conceptual Modeling, p.2012, 2012.
DOI : 10.1007/978-3-642-34002-4_27

]. Parkpoggi, Finiteness is Muineffable Linking data to ontologies, Theoretical Computer Science J. on Data Semantics, vol.3, issue.2, pp.173-181133, 1976.

]. Vianu, Modal and Temporal Properties of Processes Automatic verification of database-driven systems: a new frontier Updating Logical Databases, Proc. of the 12th Int. Conf. on Database Theory, pp.1-13, 1990.