名词、逆角色、计数与合取查询，或：为什么无穷是你的朋友！
计算机科学中的逻辑
2014-01-17 v1 人工智能
摘要
描述逻辑是知识表示形式系统，例如为 W3C OWL 标准提供逻辑基础。合取查询作为数据库中的标准查询语言，近期作为一种用于查询描述逻辑知识库的表达性形式系统而受到广泛关注。针对大范围的描述逻辑，已有若干不同的判定合取查询蕴含的技术。然而，OWL 1 和 OWL 2 DL 中名词、逆角色与数量限制的组合，给现有技术带来了无法解决的问题。我们着手解决这一问题，并针对同时包含上述三种问题构造算子的描述逻辑 ALCHOIQb，给出了合取查询并集蕴含的可判定性结果。在查询仅包含简单角色的前提下，我们的结果同样表明了 OWL 1 DL 底层逻辑中（合取查询并集）蕴含的可判定性，并且我们相信所给出的结果将为面向 OWL 标准底层描述逻辑的合取查询蕴含判定过程的进一步发展铺平道路。
引用
@article{arxiv.1401.3849,
title = {Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!},
author = {Sebastian Rudolph and Birte Glimm},
journal= {arXiv preprint arXiv:1401.3849},
year = {2014}
}