Terminological cycles in a description logic with existential restrictions, IJCAI'03, pp.325-330, 2003. ,
On rules with existential variables: Walking the decidability line, KR'10, pp.466-476, 2010. ,
DOI : 10.1016/j.artint.2011.03.002
URL : https://hal.archives-ouvertes.fr/lirmm-00587012
Extending decidable cases for rules with existential variables, IJCAI'09, pp.677-682, 2009. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00410130
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
Walking the complexity lines for generalized guarded existential rules, IJCAI'11, pp.712-717, 2011. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00618081
Taming the infinite chase: Query answering under expressive relational constraints, KR'08, pp.70-80, 2008. ,
Tractable reasoning and efficient query answering in description logics: The DL-Lite family, J. Autom. Reasoning, vol.39, issue.3, pp.385-429, 2007. ,
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+, RR'10, pp.1-17, 2010. ,
Ontological queries: Rewriting and optimization, 2011 IEEE 27th International Conference on Data Engineering, pp.2-13, 2011. ,
DOI : 10.1109/ICDE.2011.5767965
Rewriting ontological queries into small nonrecursive datalog programs, KR'12, 2012. ,
Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies, RR'11, pp.124-138, 2011. ,
DOI : 10.1007/978-3-540-71070-7_16
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.3527
A Sound and Complete Backward Chaining Algorithm for Existential Rules ,
DOI : 10.1007/978-3-642-33203-6_10
Extending decidable existential rules by joining acyclicity and guardedness, IJCAI'11, pp.963-968, 2011. ,
Ontological Query Answering with Existential Rules, RR'11, pp.2-23, 2011. ,
DOI : 10.1007/3-540-61534-2_16
URL : https://hal.archives-ouvertes.fr/lirmm-00618296
Efficient query answering for owl 2 Improving query answering over DL-Lite ontologies, ISWC'09 KR'10, 2010. SM96. E. Salvat and M.-L. Mugnier. Sound and Complete Forward and Backward Chainings of Graph Rules ICCS'96, volume 1115 of LNAI, pp.489-504, 1996. ,