Abstract, Theory and Practice of Logic Programming, vol.2, issue.4-5, pp.4-5, 2012. ,
DOI : 10.1145/976706.976708
Modal Languages and Bounded Fragments of Predicate Logic, Journal of Philosophical Logic, vol.60, issue.5, pp.217-274, 1998. ,
DOI : 10.1023/A:1004275029985
The DL-Lite family and relations, J. Artif. Intell. Res, vol.36, pp.1-69, 2009. ,
Least common subsumers and most specific concepts in a description logic with existential restrictions and terminological cycles, Proc. of IJCAI, pp.319-324, 2003. ,
On rules with existential variables: Walking the decidability line, Artificial Intelligence, vol.175, issue.9-10, pp.9-10, 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, Proc. of IJCAI, pp.712-717, 2011. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00618081
Querying the guarded fragment, Proc. of LICS, pp.1-10, 2010. ,
The implication problem for data dependencies, Proc. of ICALP, pp.73-85, 1981. ,
DOI : 10.1007/3-540-10843-2_7
The impact of disjunction on query answering under guarded-based existential rules, Proc. IJCAI, 2013. ,
Taming the infinite chase: Query answering under expressive relational constraints, Proc. of KR, pp.70-80, 2008. ,
Taming the infinite chase: Query answering under expressive relational constraints, J. Artif. Intell. Res. (JAIR), vol.48, pp.115-174, 2013. ,
A general Datalog-based framework for tractable query answering over ontologies, J. Web. Sem, vol.14, pp.57-83, 2012. ,
Towards more expressive ontology languages: The query answering problem, Artif. Intell, vol.193, pp.87-128, 2012. ,
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
Data complexity of query answering in description logics, Artificial Intelligence, vol.195, pp.335-360, 2013. ,
DOI : 10.1016/j.artint.2012.10.003
Conjunctive query containment revisited, Theoretical Computer Science, vol.239, issue.2, pp.211-229, 2000. ,
DOI : 10.1016/S0304-3975(99)00220-0
URL : http://doi.org/10.1016/s0304-3975(99)00220-0
Reformulation of XML Queries and Constraints, Proc. of ICDT, pp.225-241, 2003. ,
DOI : 10.1007/3-540-36285-1_15
Disjunctive datalog, ACM Transactions on Database Systems, vol.22, issue.3, pp.364-418, 1997. ,
DOI : 10.1145/261124.261126
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
URL : http://doi.org/10.1016/j.tcs.2004.10.033
Robbers, marshals, and guards, Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '01, pp.775-808, 2003. ,
DOI : 10.1145/375551.375579
On the Complexity of Ontological Reasoning under Disjunctive Existential Rules, Proc. of MFCS, pp.1-18, 2012. ,
DOI : 10.1007/978-3-642-32589-2_1
Abstract, The Journal of Symbolic Logic, vol.88, issue.04, pp.1719-1742, 1999. ,
DOI : 10.1137/0206033
Extending decidable existential rules by joining acyclicity and guardedness, Proc. of IJCAI, pp.963-968, 2011. ,
Efficiently computable Datalog ? programs, Proc. of KR, 2012. ,
Consequence-based reasoning beyond horn ontologies, Proc. of IJCAI, pp.1093-1098, 2011. ,
A generic querying algorithm for greedy sets of existential rules, Proc. of KR, 2012. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00675560