Horn 描述逻辑中合取查询的一阶可重写性与包含
人工智能
2020-11-20 v1 数据库
摘要
我们研究在 EL 与 Horn-SHIF 之间的描述逻辑所表述本体存在下合取查询的 FO-可重写性，以及相关的查询包含问题。除提供刻画外，我们确立了从 ExpTime 经 NExpTime 到 2ExpTime 的复杂度结果，指出了若干有趣的影响。特别地，当存在逆角色时，合取查询的 FO-重写比原子查询更复杂，否则并非如此。
引用
@article{arxiv.2011.09836,
title = {First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics},
author = {Meghyn Bienvenu and Peter Hansen and Carsten Lutz and Frank Wolter},
journal= {arXiv preprint arXiv:2011.09836},
year = {2020}
}