Closed-World Semantics for Conjunctive Queries with Negation over ELH-Bottom Ontologies
Abstract
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 ELH-bottom, 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.
Cite
Text
Borgwardt and Forkel. "Closed-World Semantics for Conjunctive Queries with Negation over ELH-Bottom Ontologies." International Joint Conference on Artificial Intelligence, 2019. doi:10.24963/IJCAI.2019/849Markdown
[Borgwardt and Forkel. "Closed-World Semantics for Conjunctive Queries with Negation over ELH-Bottom Ontologies." International Joint Conference on Artificial Intelligence, 2019.](https://mlanthology.org/ijcai/2019/borgwardt2019ijcai-closed/) doi:10.24963/IJCAI.2019/849BibTeX
@inproceedings{borgwardt2019ijcai-closed,
title = {{Closed-World Semantics for Conjunctive Queries with Negation over ELH-Bottom Ontologies}},
author = {Borgwardt, Stefan and Forkel, Walter},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2019},
pages = {6131-6135},
doi = {10.24963/IJCAI.2019/849},
url = {https://mlanthology.org/ijcai/2019/borgwardt2019ijcai-closed/}
}