保护反身属性使用答案

【问题标题】：protege reflexive property usage保护反身属性使用
【发布时间】：2020-11-06 09:12:08
【问题描述】：

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

P.S：假设有三个人：

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

和一个对象属性：

 ObjectProperty( :hasFriend ) 
 ReflexiveObjectProperty(:hasFriend)

运行 pellet 推断：

BMW hasFriend BMW

这个推论在概念上毫无意义

【问题讨论】：

自反限制仅适用于对象属性。反身限制并不直接适用于个人。出于这个原因，你的问题对我来说没有意义。你能用一个最小的完整例子来扩展你的问题吗？
@HenrietteHarmse 这不正确。自反属性是一个全局特征，并且确实适用于所有个体。这里的重点是，他不知道为什么要使用它。显然hasFriend 是一个不好的例子，例如，有些人确实使用partOf 来模拟一个分子关系。确实有讨论的余地
@amin @UninformedUser 我的观点是，对于hasFriend，必须设置反身限制才能对个人产生影响。反身限制是针对属性设置的，而不是针对个人设置的。但是，一旦设置，它们就会对有关个人的推论产生影响。但是，@UninformedUser，您对问题的澄清很有帮助。
@HenrietteHarmse 是什么意思：Reflexive restrictions are set on properties, not individuals。你能举个例子吗？我需要知道什么时候应该/不应该在我的本体中使用reflexive 限制
@amin 编辑您的问题以添加ReflexiveObjectProperty(:hasFriend)。例如，如果不将此限制添加到hasFriend，它将不会推断BMW hasFriend BMW。

标签： owl ontology protege pellet hermit

【解决方案1】：

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

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

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

【讨论】：

@Henirette Harmse 谢谢。我不明白的是，在运行颗粒/隐士推理器之后，在本体中定义的 ALL 个体上附加了反身限制，也就是说，我无法控制它，我认为这使得这个属性无法使用。
@amin 更新了答案以解释如何获得所需的控制权。
您的意思是使用self 而不是reflexive 限制来提供控制
是的，如果reflexive 不适用于您的用例，则使用基于Self 的公理来提供更好的控制。