, Terminological cycles in a description logic with existential restrictions, IJCAI'03, pp.325-330, 2003.
, Extending decidable cases for rules with existential variables, IJCAI'09Lecì ere, and M.-L. Mugnier . Walking the decidability line for rules with existential variables. In KR'10, pp.677-682, 2009.
DOI : 10.1016/j.artint.2011.03.002
URL : https://hal.archives-ouvertes.fr/lirmm-00410130
, On rules with existential variables: Walking the decidability line Walking the complexity lines for generalized guarded existential rules, IJCAI'11, pp.9-101620, 2011.
, Taming the infinite chase: Query answering under expressive relational constraints, KR'08, pp.70-80, 2008.
, A general datalog-based framework for tractable query answering over ontologies, PODS'09, pp.77-86, 2009.
, Query answering under non-guarded rules in datalog+ Tractable reasoning and efficient query answering in description logics: The DL-Lite family, RR'10, pp.1-17, 2007.
, Optimized Query Rewriting for OWL 2 QL, CADE, pp.192-206, 2011.
DOI : 10.1007/978-3-642-04930-9_31
URL : http://dspace.lib.ntua.gr/handle/123456789/36298
, Ontological queries: Rewriting and optimization Benchmarking ontology-based query rewriting systems, ICDE'11 AAAI, pp.2-13, 2011.
, A Sound and Complete Backward Chaining Algorithm for Existential Rules, 2012.
DOI : 10.1007/978-3-642-33203-6_10
, A Sound and Complete Backward Chaining Algorithm for Existential Rules, Lecture Notes in Computer Science, vol.7497, pp.122-138, 2012.
DOI : 10.1007/978-3-642-33203-6_10
, Extending decidable existential rules by joining acyclicity and guardedness, IJCAI'11 Mugnier. Ontological Query Answering with Existential Rules. In RR'11, pp.963-968, 2011.
, Efficient query answering for owl 2 High performance query answering over DL-lite ontologies, ISWC'09 KR, 2012. [Salvat and Mugnier, 1996] E. Salvat and M.-L. Mugnier. Sound and Complete Forward and Backward Chainings of Graph Rules. In ICCS'96, volume 1115 of LNAI, pp.489-504, 1996.