owl - 保护反身属性使用

Question

在 protege 中，自反属性被分配给所有个人，而不管领域和范围以及个人所属的类别。
那么这个限制有什么用呢？

PS：假设有三个人：

NamedIndividual( :John )
NamedIndividual( :alex )
NamedIndividual( :BMW )

和一个对象属性：

 ObjectProperty( :hasFriend ) 
 ReflexiveObjectProperty(:hasFriend)

运行颗粒推断：

BMW hasFriend BMW

这个推论在概念上是没有意义的

Answer 1

像The even more unresistible SROIQ和Foundations of Description Logics这样的论文指出，自反性和非自反性属性与这个exists r.Self概念密切相关。即Narcissist可以定义为 Narcissist \sqsubseteq loves.Self。

SROIQ 论文实际上提到，自反和非自反属性的主要用例是有限的，只有在与基数限制一起使用时才有意义。即，如果您将PopularPerson某人定义为至少有 2 个朋友，并且hasFriend是自反的，那么通过断言个人有 1 个已知朋友将导致该个人被归类为 a PopularPerson，因为该个人已被假定为自己的朋友。

有趣的是，论文中还提到了reflexive(r)相当于将 GCI 添加top \sqsubseteq exists r.Self到 TBox 中。就我个人而言，这更直观，并提供了我认为您似乎想要实现的控制。特别是，这允许您替换\top为您选择的任何类别。对于非自反性质存在类似的等价物。