Epistemic First-order Queries over Description Logic Knowledge Bases

Querying Description Logic knowledge bases has received great attention in the last years. The need of coping with incomplete information is the distinguishing feature with respect to querying databases. Due to this feature, we have to deal with two conflicting needs: on the one hand, we would like to query the knowledge base with sophisticated mechanisms provided by full first-order logic as in databases; on the other hand, the presence of incomplete information makes query answering a much more difficult task than in databases. In this paper we advocate the use of an epistemic first-order query language, which is able to incorporate closed-world reasoning on demand, as a means for expressing sophisticated queries over Description Logic knowledge bases. We show that through a subset of this language, called EQL-Lite, we are able to formulate full first-order queries over Description Logic knowledge bases, while keeping computational complexity of query answering under control. In particular, we show that EQL-Lite queries over DL-Lite knowledge bases are first-order reducible (i.e., can be compiled into SQL) and hence can be answered in LogSpace through standard database technologies.

[1]  Hector J. Levesque,et al.  Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..

[2]  Max J. Cresswell,et al.  A companion to modal logic , 1984 .

[3]  Diego Calvanese,et al.  Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics , 2006, AAAI.

[4]  Diego Calvanese,et al.  DL-Lite: Practical Reasoning for Rich Dls , 2004, Description Logics.

[5]  Diego Calvanese,et al.  Dwq : Esprit Long Term Research Project, No 22469 on the Decidability of Query Containment under Constraints on the Decidability of Query Containment under Constraints , 2022 .

[6]  Georg Gottlob,et al.  The Complexity Class Theta2p: Recent Results and Applications in AI and Modal Logic , 1997, FCT.

[7]  Raymond Reiter,et al.  What should a database know? , 1988, PODS '88.

[8]  Raymond Reiter,et al.  Narratives as Programs , 2000, KR.

[9]  Georg Gottlob.  NP trees and Carnap's modal logic , 1995, JACM.

[10]  Diego Calvanese,et al.  QuOnto: Querying Ontologies , 2005, AAAI.

[11]  Ian Horrocks,et al.  OWL-QL - a language for deductive query answering on the Semantic Web , 2004, J. Web Semant..

[12]  Diego Calvanese,et al.  Data Complexity of Query Answering in Description Logics , 2006, Description Logics.

[13]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[14]  Diego Calvanese,et al.  DL-Lite: Tractable Description Logics for Ontologies , 2005, AAAI.

[15]  Gerhard Lakemeyer,et al.  The logic of knowledge bases , 2000 .

[16]  Diego Calvanese,et al.  Data Complexity of Answering Unions of Conjunctive Queries in SHIQ , 2006, Description Logics.