On rules with existential variables: Walking the decidability line, Artif. Intell, vol.175, issue.9, pp.1620-1654, 2011. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00587012
Walking the complexity lines for generalized guarded existential rules, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pp.712-717, 2011. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00618081
The implication problem for data dependencies, Automata, Languages and Programming, 8th Colloquium, vol.115, pp.73-85, 1981. ,
Detecting chase (non)termination for existential rules with disjunctions, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, pp.922-928, 2017. ,
Tractable reasoning and efficient query answering in description logics: The DL-Lite family, J. Autom. Reasoning, vol.39, issue.3, pp.385-429, 2007. ,
Datalog extensions for tractable query answering over ontologies, Semantic Web Information Management-A Model-Based Perspective, pp.249-279 ,
, , 2009.
A general datalogbased framework for tractable query answering over ontologies, J. Web Sem, vol.14, pp.57-83, 2012. ,
Chase termination for guarded existential rules, Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, pp.91-103, 2015. ,
The chase revisited, Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, pp.149-158, 2008. ,
A normal form for relational databases that is based on domians and keys, ACM Trans. Database Syst, vol.6, issue.3, pp.387-415, 1981. ,
Data exchange: semantics and query answering, Theor. Comput. Sci, vol.336, issue.1, pp.89-124, 2005. ,
Acyclicity notions for existential rules and their application to query answering in ontologies, J. Artif. Intell. Res, vol.47, pp.741-808, 2013. ,
All-instances termination of chase is undecidable, Automata, Languages, and Programming41st International Colloquium, ICALP, vol.8573, pp.293-304, 2014. ,
Anatomy of the chase, Fundam. Inform, vol.157, issue.3, pp.221-270, 2018. ,
Answering queries using views: A survey, VLDB J, vol.10, issue.4, pp.270-294, 2001. ,