Closed-World Semantics for Conjunctive Queries with Negation over ELH_\bot Ontologies
Closed-World Semantics for Conjunctive Queries with Negation over ELH_\bot Ontologies
复制标题
DOI：
10.1007/978-3-030-19570-0_24
复制
发表时间：
2019-05
期刊：
影响因子：
--
通讯作者：
Stefan Borgwardt;Walter Forkel
中科院分区：
文献类型：
--
作者：
Stefan Borgwardt;Walter Forkel
本体介导的查询回答是一种流行的范例，丰富的答案与背景知识的用户查询。然而，对于查询缺乏的信息，只有少数基于本体的方法。此外，这些建议混淆了封闭域和封闭世界的假设，因此不适合处理本体论推理中常见的匿名对象。我们提出了一个新的封闭世界语义回答合取查询与否定的描述逻辑中制定的本体，这是基于最小的规范模型。我们提出了一个重写策略来处理被否定的查询原子，这表明在数据复杂度的多项式时间内查询应答是可能的。
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.