semantics - OWL 双关语是否将同名的类和个体在语义上视为“相同”？

Question

根据the original OWL definition of OWL DL ，我们不能为类和个体赋予相同的名称(这是 OWL DL 和 OWL Full 之间的明显区别)。 "Punning" is introduced in OWL 2并删除此限制。因此我可以为类和个人(以及属性)指定相同的名称。

OWL 将它们视为语义相同还是不同？ (两者具有相同的名称，因此它们在语法上是相同的。)这些实体(具有相同的 IRI)是同一个吗？ [正如在 OWL 中一样，所有内容都仅与 IRI 相关]

Answer 1

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 作为类和个体的标识符，那么您所做的就是这样。有一个由该 IRI 命名的类，还有一个由该 IRI 命名的个体；它们不是同一件事，也不可能是同一件事，因为类(Class)和个人是不同种类的事物。

例如，如果您有一个名为 x 的类和一个名为 x 的个体，那么您可以这样说

    (个体)x 通过对象属性与个体 y 相关p

或

    个体y是(类x)的元素

但你不能说，

    个体y是(个体)x的元素[因为个体没有元素，类有]

或者那个

    (类)x 通过对象属性 p 与个体 y 相关 [因为对象属性不会将类与个体相关联，他们将个人与个人联系起来]

IRIs 实际上只是 OWL 中的名称，它们本身并不是实体。 OWL 中的双关语允许您对多个事物使用相同的名称，而不会混淆这些事物。对于类和个体，它们是不同种类的事物，因此您可以重复使用名称，因为上下文总是会清楚地表明您的意思。