论文标题
喇叭说明逻辑中的一阶矫正性和连接性查询的遏制
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics
论文作者
论文摘要
我们研究了在EL和Horn-Shif之间的描述逻辑中提出的本体论以及相关的查询遏制问题的情况下，研究了连接性查询的方案。除了提供特征外，我们还建立了从新兴时期到2期的复杂性结果，指出了一些有趣的效果。特别是，在存在反向作用时，与原子查询相比，fo练习对结合查询更为复杂，但不是其他问题。
We study FO-rewritability of conjunctive queries in the presence of ontologies formulated in a description logic between EL and Horn-SHIF, along with related query containment problems. Apart from providing characterizations, we establish complexity results ranging from ExpTime via NExpTime to 2ExpTime, pointing out several interesting effects. In particular, FO-rewriting is more complex for conjunctive queries than for atomic queries when inverse roles are present, but not otherwise.
