Tractable query answering and rewriting under description logic constraints
暂无分享,去创建一个
[1] Melvin Fitting,et al. First-Order Logic and Automated Theorem Proving , 1990, Graduate Texts in Computer Science.
[2] Gunter Saake,et al. Logics for databases and information systems , 1998 .
[3] Ronald Fagin,et al. Data exchange: semantics and query answering , 2003, Theor. Comput. Sci..
[4] Andrea Calì,et al. Taming the Infinite Chase: Query Answering under Expressive Relational Constraints , 2008, Description Logics.
[5] Floris Geerts,et al. Constraint Query Languages , 2008, Encyclopedia of GIS.
[6] Boris Motik,et al. Reasoning in description logics using resolution and deductive databases , 2006 .
[7] Alan Robinson,et al. The Inverse Method , 2001, Handbook of Automated Reasoning.
[8] Diego Calvanese,et al. Data Complexity of Query Answering in Description Logics , 2006, Description Logics.
[9] Franz Baader,et al. Unification theory , 1986, Decis. Support Syst..
[10] Maurizio Lenzerini,et al. Data integration: a theoretical perspective , 2002, PODS.
[11] Riccardo Rosati,et al. The Limits of Querying Ontologies , 2007, ICDT.
[12] Jennifer Widom,et al. Research problems in data warehousing , 1995, CIKM '95.
[13] Boris Motik,et al. Rewriting Conjunctive Queries over Description Logic Knowledge Bases , 2008, SDKB.
[14] Andrea Calì,et al. Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings , 2008, FoIKS.
[15] Franz Baader,et al. Pushing the EL Envelope , 2005, IJCAI.
[16] Moshe Y. Vardi. The complexity of relational query languages (Extended Abstract) , 1982, STOC '82.
[17] J. A. Robinson,et al. Handbook of Automated Reasoning (in 2 volumes) , 2001 .
[18] Carsten Lutz,et al. Data Complexity in the EL family of DLs , 2007, Description Logics.
[19] Renée J. Miller,et al. First-order query rewriting for inconsistent databases , 2005, J. Comput. Syst. Sci..
[20] Ron van der Meyden,et al. Logical Approaches to Incomplete Information: A Survey , 1998, Logics for Databases and Information Systems.
[21] Andrea Calì. Querying Incomplete Data with Logic Programs: ER Strikes Back , 2007, ER.
[22] Diego Calvanese,et al. Description Logic Framework for Information Integration , 1998, KR.
[23] Alon Y. Halevy,et al. Answering queries using views: A survey , 2001, The VLDB Journal.
[24] Diego Calvanese,et al. Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.
[25] Michael Kifer,et al. Logical foundations of object-oriented and frame-based languages , 1995, JACM.
[26] Thomas Eiter,et al. FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols , 2010, TOCL.
[27] Andrea Calì,et al. A general datalog-based framework for tractable query answering over ontologies , 2009, SEBD.
[28] Harald Ganzinger,et al. Resolution Theorem Proving , 2001, Handbook of Automated Reasoning.
[29] Serge Abiteboul,et al. Foundations of Databases , 1994 .
[30] James A. Hendler,et al. A Portrait of the Semantic Web in Action , 2001, IEEE Intell. Syst..
[31] William H. Joyner. Resolution Strategies as Decision Procedures , 1976, JACM.
[32] Thomas Lukasiewicz,et al. Tightly integrated probabilistic description logic programs for representing ontology mappings , 2008, Annals of Mathematics and Artificial Intelligence.
[33] Carsten Lutz,et al. Conjunctive Query Answering in the Description Logic EL Using a Relational Database System , 2009, IJCAI.
[34] Saturation-based decision procedures for extensions of the guarded fragment , 2006 .
[35] Hector Perez-Urbina. Rewriting Conjunctive Queries under Description Logic Constraints , 2008 .
[36] Georg Gottlob,et al. Complexity and expressive power of logic programming , 2001, CSUR.
[37] Sanjeev Khanna,et al. Edinburgh Research Explorer On the Propagation of Deletions and Annotations through Views , 2013 .
[38] Andrea Calì,et al. Containment of conjunctive object meta-queries , 2006, VLDB.
[39] Werner Nutt,et al. Basic Description Logics , 2003, Description Logic Handbook.
[40] Cordell Green. Theorem-Proving by Resolution as a Basis for Question-Answering Systems , 2010 .
[41] Riccardo Rosati,et al. On Conjunctive Query Answering in EL , 2007, Description Logics.
[42] Sebastian Rudolph,et al. Conjunctive Queries for EL with Role Composition ⋆ , 2007 .
[43] Michael Wooldridge,et al. Proceedings of the 21st International Joint Conference on Artificial Intelligence , 2009 .
[44] M. Fitting. First-order logic and automated theorem proving (2nd ed.) , 1996 .
[45] Gabriel M. Kuper,et al. Constraint Query Languages , 1995, J. Comput. Syst. Sci..
[46] Peter Buneman,et al. Semistructured data , 1997, PODS.