On rules with existential variables: Walking the decidability line

Artificial Intelligence

Volumn 175, Issue 9-10, 2011, Pages 1620-1654

  Baget, Jean François ^a   Leclère, Michel ^b   Mugnier, Marie Laure ^b   Salvat, Eric ^c  

^a INRIA   (France)

^b UNIV MONTPELLIER   (France)

^c IMERIR ^*  (France)

Author keywords

Backward chaining; Chase; Decidability; Forward chaining; Rule dependency; Rules; TGD

Indexed keywords

BACKWARD CHAINING; CHASE; DECIDABILITY; FORWARD CHAINING; RULE DEPENDENCY; RULES; TGD;

COMPUTABILITY AND DECIDABILITY;

EID: 79955095848     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2011.03.002     Document Type: Article

References (38)

1. S. Abiteboul, R. Hull, and V. Vianu Foundations of Databases 1995 Addison-Wesley
2. A.V. Aho, C. Beeri, and J.D. Ullman The theory of joins in relational databases ACM Trans. Database Syst. 4 3 1979 297 314
3. J.-F. Baget, Représenter des connaissances et raisonner avec des hypergraphes : de la projection à la dérivation sous contraintes, PhD thesis, Université Montpellier II, France, Nov. 2001.
4. J.-F. Baget Improving the forward chaining algorithm for conceptual graphs rules Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR2004), Whistler, Canada 2004 AAAI Press 407 414
5. J.-F. Baget, M. Leclère, and M.-L. Mugnier Walking the decidability line for rules with existential variables Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning, Toronto, Canada 2010 AAAI Press 466 476
6. J.-F. Baget, M. Leclère, M.-L. Mugnier, E. Salvat, DL-SR: a lite DL with expressive rules: Preliminary results, in: Proceedings of the Twenty-First International Workshop on Description Logics (DL2008), Dresden, Germany, 2008.
7. J.-F. Baget, M. Leclère, M.-L. Mugnier, E. Salvat, Extending decidable cases for rules with existential variables, in: Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI, 2009), Pasadena, California, USA, pp. 677-682.
8. J.-F. Baget, and M.-L. Mugnier The complexity of rules and constraints J. Artif. Intell. Res. (JAIR) 16 2002 425 465
9. J.-F. Baget, and E. Salvat Rules dependencies in backward chaining of conceptual graphs rules ICCS LNCS vol. 4068 2006 Springer 102 116 (Pubitemid 44153488)
10. C. Beeri, and M. Vardi The implication problem for data dependencies Proceedings of Automata, Languages and Programming, Eighth Colloquium (ICALP 1981), Acre (Akko), Israel LNCS vol. 115 1981 Springer 73 85
11. C. Beeri, and M. Vardi A proof procedure for data dependencies J. ACM 31 4 1984 718 741
12. A. Calì, G. Gottlob, M. Kifer, Taming the infinite chase: Query answering under expressive relational constraints, in: Proceedings of the Eleventh International Conference on the Principles of Knowledge Representation and Reasoning (KR 2008), Sydney, Australia, 2008, pp. 70-80.
13. A. Calì, G. Gottlob, T. Lukasiewicz, A general Datalog-based framework for tractable query answering over ontologies, in: Proceedings of the Twenty-Eighth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2009), Providence, Rhode Island, USA, 2009, pp. 77-86.
14. A. Calì, G. Gottlob, and T. Lukasiewicz Datalog extensions for tractable query answering over ontologies R.D. Virgilio, F. Giunchiglia, L. Tanca, Semantic Web Information Management: A Model-Based Perspective 2010 Springer 249 279
15. A. Calì, G. Gottlob, T. Lukasiewicz, B. Marnette, and A. Pieris Datalog+/-: A family of logical knowledge representation and query languages for new applications LICS 2010 IEEE Computer Society 228 242
16. A. Calì, M. Kifer, Containment of conjunctive object meta-queries, in: Proceedings of the Thirty-Second International Conference on Very Large Data Bases (VLDB 2006), Seoul, Korea, 2006, pp. 942-952.
17. A. Calì, D. Lembo, and R. Rosati On the decidability and complexity of query answering over inconsistent and incomplete databases Proceedings of the Twenty-Second SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS 2003), San Diego, California, USA 2003 ACM 260 271
18. D. Calvanese, G.D. Giacomo, D. Lembo, M. Lenzerini, and R. Rosati Tractable reasoning and efficient query answering in description logics: The DL-Lite family J. Automat. Reason. 39 3 2007 385 429 (Pubitemid 47340922)
19. A.K. Chandra, H.R. Lewis, and J.A. Makowsky Embedded implicational dependencies and their inference problem Proceedings of the Thirteenth Annual Symposium on Theory of Computing (STOC 1981), Milwaukee, Wisconsin, USA 1981 ACM 342 354
20. A.K. Chandra, P.M. Merlin, Optimal implementation of conjunctive queries in relational data bases, in: STOC, 1977, pp. 77-90.
21. A.K. Chandra, and M.Y. Vardi The implication problem for functional and inclusion dependencies is undecidable SIAM J. Comput. 14 3 1985 671 677
22. M. Chein, and M.-L. Mugnier Conceptual graphs: Fundamental notions Rev. Intell. Artif. 6 4 1992 365 406
23. M. Chein, and M.-L. Mugnier Graph-based Knowledge Representation and Reasoning-Computational Foundations of Conceptual Graphs. Advanced Information and Knowledge Processing 2009 Springer
24. S. Coulondre A top-down proof procedure for generalized data dependencies Acta Inform. 39 1 2003 1 29 (Pubitemid 36201874)
25. B. Courcelle The monadic second-order logic of graphs: I. recognizable sets of finite graphs Inform. and Comput. 85 1 1990 12 75 (Pubitemid 20680563)
26. A. Deutsch, A. Nash, J. Remmel, The chase revisited, in: Twenty-Eighth ACM SIGMOD/PODS International Conference on Management of Data/Principles of Database Systems (PODS 2008), Vancouver, BC, Canada, 2008, pp. 149-158.
27. A. Deutsch, A. Nash, J.B. Remmel, The chase revisited, in: PODS, 2008, pp. 149-158.
28. A. Deutsch, V. Tannen, Reformulation of XML queries and constraints, in: Ninth International Conference on Database Theory (ICDT 2003), Siena, Italy, 2003, pp. 225-241.
29. R. Fagin, P.G. Kolaitis, R.J. Miller, L. Popa, Data exchange: Semantics and query answering, in: Ninth International Conference on Database Theory (PODS 2003), Siena, Italy, 2003, pp. 207-224.
30. R. Fagin, P.G. Kolaitis, R.J. Miller, and L. Popa Data exchange: semantics and query answering Theoret. Comput. Sci. 336 1 2005 89 124 (Pubitemid 40612385)
31. P. Hayes (Ed.), RDF Semantics. W3C Recommendation, W3C, http://www.w3.org/TR/rdf-mt/, 2004.
32. D. Johnson, and A. Klug Testing containment of conjunctive queries under functional and inclusion dependencies J. Comput. System Sci. 28 1 1984 167 189 (Pubitemid 14569352)
33. C. Lutz, D. Toman, F. Wolter, Conjunctive query answering in the description logic EL using a relational database system, in: Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena, California, USA, 2009, pp. 2070-2075.
34. D. Maier, A.O. Mendelzon, and Y. Sagiv Testing implications of data dependencies ACM Trans. Database Syst. 4 4 1979 455 469
35. E. Salvat, and M.-L. Mugnier Sound and complete forward and backward chainings of graph rules Proceedings of the Fourth International Conference on Conceptual Structures (ICCS96), Sydney, Australia LNAI vol. 1115 1996 Springer 248 262 (Pubitemid 126107981)
36. J.F. Sowa Conceptual Structures: Information Processing in Mind and Machine 1984 Addison-Wesley
37. R. Thomas The tree-width compactness theorem for hypergraphs http://people.math.gatech.edu/~thomas/PAP/twcpt.pdf 1988
38. M. Vardi The implication and finite implication problems for typed template dependencies J. Comput. System Sci. 28 1 1984 3 28 (Pubitemid 14569359)