论文标题
从结合查询到本体介导的查询中的实例查询
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying
论文作者
论文摘要
我们考虑基于ALC家族和（工会）结合查询的表达性描述逻辑的本体论介导的查询（OMQ），并根据实例查询（IQS）研究对OMQ的可重写。我们的结果包括何时可能进行重写的精确表征，并且要确定重写的紧密复杂性范围。我们还为确定给定MMSNP句子是否等于CSP的相关问题给出了严格的复杂性。
We consider ontology-mediated queries (OMQs) based on expressive description logics of the ALC family and (unions) of conjunctive queries, studying the rewritability into OMQs based on instance queries (IQs). Our results include exact characterizations of when such a rewriting is possible and tight complexity bounds for deciding rewritability. We also give a tight complexity bound for the related problem of deciding whether a given MMSNP sentence is equivalent to a CSP.
