在OWL 2中,为什么关键公理的语义特定于命名个体？

Question

在OWL 2的规范中,关键公理的部分说明:

关键公理的语义是特定的,因为这些公理仅适用于通过名称在本体中明确引入的个体,而不适用于未命名的个体(即存在通过存在量化暗示存在的个体).这使得关键公理等同于DL安全规则的变体.因此,关键公理通常不会影响基于类的推理,例如包含层次结构的计算,但它们将在回答关于个体的查询中起作用.

然后它继续显示一组公理的例子,这些公理显然需要得出结论,但由于该规则,规范不承认.

这个决定背后的原因是什么？

Answer 1

第二节给出了解释.3.1.4 OWL 2:OWL的下一步:

然而,使用密钥扩展基于DL的语言(例如OWL 2)会带来理论和实际问题[23].因此,工作组决定采用一种更受限制的密钥变体,这种密钥在实践中很有用,而且相对容易实现,通常称为简易密钥.

所以他们使用了一种限制形式的密钥,称为简易密钥,它有一些限制,但不会增加最坏情况下的推理复杂性:

因此,简单密钥的主要缺点是它们只能产生关于显式数据的后果,因此主要与查询应答相关,而密钥的一般变体[23]也可以影响类之间的包含层次结构.easy键的主要好处是将它们添加到OWL 2不会增加最坏情况下的推理复杂性,并且在现有的reasoners中实现它们相对简单.