本文题目翻译为：具有闭合谓词的本体中介查询的数据复杂性
摘要：本文研究了描述逻辑中本体驱动查询（OMQC）的数据复杂性。我们提供了一种非一致性的分析，旨在对轻量级描述逻辑DL-Lite和EL以及高度表达能力的描述逻辑ALCHI中的本体复杂性进行可处理和不可处理的分类。在本体层面上，我们证明了在DL-Lite中，FO-可重写和coNP-完全之间具有二分性，而在EL中，PTime和coNP-完全之间具有二分性。判定可处理性的元问题被证明在PTime中。在OMQC层面上，我们表明，如果概念和角色名字都可以闭合，那么除非NP等于PTime，否则不会有二分性。如果只有概念名字可以闭合，我们将查询评估的复杂性与满射CSP的复杂性紧密联系在一起。我们还确定了一类基于DL-Lite中的本体公式的OMQC，保证它们是可处理的，甚至是FO-可重写的。
作者：Carsten Lutz, Inanc Seylan, and Frank Wolter
论文ID：1809.00134
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22