OWL 双关是否在语义上将 class 和同名的个人视为 SAME?

Does OWL punning treats class and individual with same name as SAME semantically?

根据 the original OWL definition of OWL DL, we can't give the same name to a class and an individual (which is a clear difference between OWL DL and OWL Full). "Punning" is introduced in OWL 2 并删除此限制。所以我可以给一个 class 和一个人(还有一个 属性)起相同的名字。

OWL 将它们视为语义相同还是不同? (两者具有相同的名称,因此它们在句法上是相同的。)这些实体(具有相同的 IRI)是一回事吗? [如 OWL 一切仅与 IRI 相关]

Does OWL treats them as semantically same or different ? (both are having same IRI so syntactically same). In simple, do these entities (having same IRI) one and the same ? [As in OWL everything is related to IRI only]

来自您链接到的文档(强调已添加):

2.4.1 F12: Punning

OWL 1 DL required a strict separation between the names of, e.g., classes and individuals. OWL 2 DL relaxes this separation somewhat to allow different uses of the same term, e.g., Eagle, to be used for both a class, the class of all Eagles, and an individual, the individual representing the species Eagle belonging to the (meta)class of all plant and animal species. However, OWL 2 DL still imposes certain restrictions: it requires that a name cannot be used for both a class and a datatype and that a name can only be used for one kind of property. The OWL 2 Direct Semantics treats the different uses of the same name as completely separate, as is required in DL reasoners.

双关时,您可以使用相同的名称来指代不止一件事; IRI 是相同的,仅此而已;事情仍然不同。如果您使用相同的 IRI 作为 class 和个人的标识符,这就是您所做的一切。有一个由那个 IRI 命名的 class,还有一个由那个 IRI 命名的个体;它们不是一回事,也不可能是一回事,因为 classes 和个人是不同种类的东西。

例如,如果你有一个叫 x 的 class 和一个叫 x 的人,那么你可以说喜欢

(个人)x 通过对象 属性 p[= 与个人 y 相关47=]

个体 y 是 (class x)

的一个元素

不过你不能说,

个体 y 是(个体)x 的一个元素 [因为个体没有元素,class是的]

或者那个

(class) x 与个体 y 相关 属性 p [因为对象属性不与个体相关 classes,它们将个体与个体相关]

IRI 实际上只是 OWL 中的 名称 ,它们本身并不是实体。 OWL 中的双关语让您可以对多个事物使用相同的名称,而不会混淆这些事物。在 classes 和个人的情况下,它们是不同种类的事物,因此您可以重复使用名称,因为上下文总是会清楚地表明您指的是哪一个。