Ontology-mediated query answering is a popular paradigm for enriching answers to user queries with background knowledge. For querying the absence of information, however, there exist only few ontology-based approaches. Moreover, these proposals conflate the closed-domain and closed-world assumption, and therefore are not suited to deal with the anonymous objects that are common in ontological reasoning. We propose a new closed-world semantics for answering conjunctive queries with negation over ontologies formulated in the description logic, which is based on the minimal canonical model. We propose a rewriting strategy for dealing with negated query atoms, which shows that query answering is possible in polynomial time in data complexity.
CITATION STYLE
Borgwardt, S., & Forkel, W. (2019). Closed-World Semantics for Conjunctive Queries with Negation over$$\mathcal {ELH}_\bot $$ Ontologies. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11468 LNAI, pp. 371–386). Springer Verlag. https://doi.org/10.1007/978-3-030-19570-0_24
Mendeley helps you to discover research relevant for your work.