摘要
描述逻辑是知识表示形式，例如，提供W3C OWL标准的逻辑基础。连接查询是数据库中的标准查询语言，作为查询描述逻辑知识库的一种表达形式，最近受到了广泛关注。有几种不同的技术可用于确定连接查询蕴涵，适用于各种DL。然而，OWL 1和OWL 2 DL中的名词、反义词和数字限制的组合给迄今为止可用的技术带来了无法解决的问题。我们解决了这个问题，并为同时包含所有三个有问题的构造函数的DL ALCHOIQb中的联合查询的牵连提供了一个可判定结果。假设查询只包含简单的角色，我们的结果还显示了包含（的并集）的可判定性在支持OWL 1 DL的逻辑中进行联合查询，我们相信，所呈现的结果将为OWL标准下描述逻辑的联合查询蕴涵决策程序的进一步进展铺平道路。
