Extending decidable cases for rules with existential variables

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2009, Pages 677-682

  Baget, Jean François ^a   Leclère, Michel ^a   Mugnier, Marie Laure ^a   Salvat, Éric ^a  

^a LIRMM   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

CONCEPTUAL GRAPH; LOGICAL FORMS; REASONING TASKS; TUPLE-GENERATING DEPENDENCIES;

COMPUTABILITY AND DECIDABILITY;

EID: 78751687512     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.
2. J.-F. Baget. Improving the forward chaining algorithm for conceptual graphs rules. In KR, pages 407-414. AAAI Press, 2004.
3. F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2003.
4. J. Broekstra and A. Kampman. Inferencing and truth maintenance in rdf schema: exploring a naive practical approach. In PSSS, 2003.
5. J.-F. Baget and M.-L. Mugnier. The Complexity of Rules and Constraints. JAIR, 16:425-465, 2002.
6. A. Calì, G. Gottlob, and M. Kifer. Taming the infinite chase: Query answering under expressive relational constraints. In KR, pages 70-80, 2008.
7. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. Autom. Reasoning, 39(3):385-429, 2007.
8. A. Calì and M. Kifer. Containment of conjunctive object meta-queries. In VLDB, pages 942-952, 2006.
9. A. Deutsch, A. Nash, and J.B. Remmel. The chase revisited. In PODS, pages 149-158, 2008.
10. A. Deutsch and V. Tannen. Reformulation of xml queries and constraints. In ICDT, pages 225-241, 2003.
11. R. Fagin, P. G. Kolaitis, R. J. Miller, and L. Popa. Data exchange: Semantics and query answering. In ICDT, pages 207-224, 2003.
12. P. Hayes, editor. RDF Semantics. W3C Recommendation. W3C, 2004.
13. D.S. Johnson and A. Klug. Testing containment of conjunctive queries under functional and inclusion dependencies. JCSS, 28:167189, 1984.
14. E. Salvat and M.-L. Mugnier. Sound and Complete Forward and Backward Chainings of Graph Rules. In ICCS'96, LNAI 1115, pages 248-262. Springer, 1996.
15. J. F. Sowa. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, 1984.
16. M.Y. Vardi. The implication and finite implication problems for typed template dependencies. JCSS, 28(1):3-28, 1984.