, Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases, 1994.
, The Description Logic Handbook: Theory, Implementation, and Applications, 2007.
DOI : 10.1017/CBO9780511711787
, Terminological cycles in a description logic with existential restrictions, IJCAI, pp.325-330, 2003.
, Walking the Complexity Lines for Generalized Guarded Existential Rules, IJCAI, pp.712-717, 2011.
URL : https://hal.archives-ouvertes.fr/lirmm-00618081
, On rules with existential variables: Walking the decidability line, Artificial Intelligence, vol.175, issue.9-10, pp.9-101620, 2011.
DOI : 10.1016/j.artint.2011.03.002
URL : https://hal.archives-ouvertes.fr/lirmm-00587012
, A General Datalog-Based Framework for Tractable Query Answering over Ontologies Tractable reasoning and efficient query answering in description logics: The dl-lite family, PODSCalvaneseChortaras et al., 2011] Alexandros Chortaras, Despoina Trivela, and Giorgos B. Stamou. Optimized query rewriting for OWL 2 QL. In CADE Kolaitis, R. J. Miller, and L. Popa. Data Exchange: Semantics and Query Answering, pp.77-86385, 2005.
, Ontological queries: Rewriting and optimization, 2011 IEEE 27th International Conference on Data Engineering, pp.2-13, 2011.
DOI : 10.1109/ICDE.2011.5767965
, Acyclicity conditions and their application to query answering in description logics Polynomial conjunctive query rewriting under unary inclusion dependencies Mélanie König, MichelLecì ere, Marie- Laure Mugnier, and Michaël Thomazo. A sound and complete backward chaining algorithm for existential rules Generalized schemamappings: from termination to tractability, RR RRKrötzsch and Rudolph, 2011] M. Krötzsch and S. Rudolph. Extending Decidable Existential Rules by Joining Acyclicity and Guardedness. In IJCAI PODS Efficient query answering for OWL 2. In International Semantic Web Conference, pp.124-138, 2009.
, Improving query answering over dl-lite ontologies A generic querying algorithm for greedy sets of existential rules, KR KR, 2012. [Thomazo, 2012] Michaël Thomazo. From el to tractable existential rules with complex role inclusions. In Description Logics, 2010.