Closed-World Semantics for Conjunctive Queries with Negation over ELH_bottom Ontologies
From International Center for Computational Logic
Closed-World Semantics for Conjunctive Queries with Negation over ELH_bottom Ontologies
Talk by Walter Forkel
- Location: APB 3027
- Start: 18. April 2019 at 1:00 pm
- End: 18. April 2019 at 2:30 pm
- Research group: Automata Theory
- Event series: KBS Seminar
- iCal
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, 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.