On rules with existential variables: Walking the decidability line
暂无分享,去创建一个
Jean-François Baget | Marie-Laure Mugnier | Michel Leclère | Eric Salvat | Jean-François Baget | M. Mugnier | M. Leclère | E. Salvat
[1] Andrea Calì,et al. Containment of conjunctive object meta-queries , 2006, VLDB.
[2] John F. Sowa,et al. Conceptual Structures: Information Processing in Mind and Machine , 1983 .
[3] David Maier,et al. Testing implications of data dependencies , 1979, SIGMOD '79.
[4] M. Chein,et al. Conceptual graphs: fundamental notions , 1992 .
[5] Jean-François Baget,et al. Rules Dependencies in Backward Chaining of Conceptual Graphs Rules , 2006, ICCS.
[6] Alin Deutsch,et al. The chase revisited , 2008, PODS.
[7] David S. Johnson,et al. Testing containment of conjunctive queries under functional and inclusion dependencies , 1982, J. Comput. Syst. Sci..
[8] Bruno Courcelle,et al. The Monadic Second-Order Logic of Graphs. I. Recognizable Sets of Finite Graphs , 1990, Inf. Comput..
[9] Andrea Calì,et al. Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications , 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science.
[10] Robin Thomas,et al. The TreeWidth Compactness Theorem for Hypergraphs , 1988 .
[11] Alin Deutsch,et al. Reformulation of XML Queries and Constraints , 2003, ICDT.
[12] Andrea Calì,et al. Taming the Infinite Chase: Query Answering under Expressive Relational Constraints , 2008, Description Logics.
[13] Jean-François Baget,et al. DL-SR: a Lite DL with Expressive Rules: Preliminary Results , 2008, Description Logics.
[14] Moshe Y. Vardi. The implication and finite implication problems for typed template dependencies , 1982, PODS '82.
[15] Catriel Beeri,et al. The Implication Problem for Data Dependencies , 1981, ICALP.
[16] Jean-François Baget,et al. Walking the Decidability Line for Rules with Existential Variables , 2010, KR.
[17] Georg Gottlob,et al. Semantic Web Information Management − A Model−Based Perspective , 2009 .
[18] Johann A. Makowsky,et al. Embedded implicational dependencies and their inference problem , 1981, STOC '81.
[19] Alfred V. Aho,et al. The theory of joins in relational data bases , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[20] Andrea Calì,et al. Datalog Extensions for Tractable Query Answering over Ontologies , 2009, Semantic Web Information Management.
[21] Carsten Lutz,et al. Conjunctive Query Answering in the Description Logic EL Using a Relational Database System , 2009, IJCAI.
[22] Ronald Fagin,et al. Data exchange: semantics and query answering , 2003, Theor. Comput. Sci..
[23] Andrea Calì,et al. On the decidability and complexity of query answering over inconsistent and incomplete databases , 2003, PODS.
[24] M. Chein,et al. Graph-based Knowledge Representation and Reasoning , 2010, ICEIS.
[25] Marie-Laure Mugnier,et al. Sound and Complete Forward and backward Chainingd of Graph Rules , 1996, ICCS.
[26] Jean-François Baget,et al. Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints , 2011, J. Artif. Intell. Res..
[27] Catriel Beeri,et al. A Proof Procedure for Data Dependencies , 1984, JACM.
[28] Moshe Y. Vardi,et al. The Implication Problem for Functional and Inclusion Dependencies is Undecidable , 1985, SIAM J. Comput..
[29] Ashok K. Chandra,et al. Optimal implementation of conjunctive queries in relational data bases , 1977, STOC '77.
[30] Andrea Calì,et al. A general datalog-based framework for tractable query answering over ontologies , 2009, SEBD.
[31] Stéphane Coulondre,et al. A top-down proof procedure for generalized data dependencies , 2003, Acta Informatica.
[32] Diego Calvanese,et al. Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.
[33] Serge Abiteboul,et al. Foundations of Databases , 1994 .
[34] M. Mugnier,et al. Représenter des connaissances et raisonner avec des graphes , 1996 .
[35] Marie-Laure Mugnier,et al. Graph-based Knowledge Representation - Computational Foundations of Conceptual Graphs , 2008, Advanced Information and Knowledge Processing.
[36] Jean-François Baget,et al. Improving the Forward Chaining Algorithm for Conceptual Graphs Rules , 2004, KR.