描述逻辑本体的数据复杂度
摘要：本文分析了本体中介查询的数据复杂性，其中本体使用描述逻辑（DL）ALC家族进行建模，查询使用合取查询、正的存在查询或非循环合取查询。我们的方法是非统一的，意味着我们的目标是理解每个单一本体的复杂性，而不是某种语言中的所有本体的复杂性。在这过程中，我们对查询进行量化，并且感兴趣的问题包括是否所有查询都可以在给定本体下以多项式时间进行评估。我们的结果包括对描述逻辑ALCFI中深度为一的本体的PTime/coNP-二分性、无限制深度的ALC-和ALCI-本体的相同二分性，以及ALCF-本体不存在这样的二分性。对于后一种DL，我们还证明了是否存在一个给定本体允许PTime查询评估是不可判定的。我们还考虑了PTime查询评估与重写为（单调）Datalog之间的联系。
作者：Carsten Lutz and Frank Wolter
论文ID：1611.02453
分类：Artificial Intelligence
分类简称：cs.AI
提交时间：2023-06-22