根据the original OWL definition of OWL DL，我们不能给一个类和一个人起相同的名字（这是OWL DL和OWL Full之间的明显区别）。 "Punning" is introduced in OWL 2 并删除此限制。所以我可以给一个类和一个个体（以及一个属性）赋予相同的名称。
OWL 将它们视为语义相同还是不同？ （两者具有相同的名称，因此它们在语法上相同。）这些实体（具有相同的 IRI）是否相同？ [在 OWL 中，一切都只与 IRI 相关]
【问题讨论】：
标签： semantics owl ontology protege owl-api
OWL 将它们视为语义相同还是不同？ （两者都是 具有相同的 IRI，因此在语法上相同）。简单来说，做这些实体 （具有相同的IRI）一个和相同的？ [在 OWL 中，一切都是相关的 仅限 IRI]
来自您链接到的文档（强调添加）：
2.4.1 F12: Punning
OWL 1 DL 要求在名称之间进行严格分隔，例如， 班级和个人。 OWL 2 DL 稍微放松了这种分离 允许将同一术语（例如 Eagle）用于不同用途 既是一个阶级，所有老鹰的阶级，又是一个个体， 代表属于（元）类的鹰物种的个体 所有植物和动物物种。然而，OWL 2 DL 仍然强加 某些限制：它要求一个名称不能同时用于两者 一个类和一个数据类型，并且一个名称只能用于一种 的财产。 OWL 2 Direct Semantics 处理 与完全独立的名称相同，这在 DL 推理器中是必需的。
双关语时，您可以使用相同的名称来指代多个事物； IRI 是一样的，但仅此而已；事情仍然不同。如果您使用相同的 IRI 作为类和个人的标识符，这就是您所做的一切。有一个由该 IRI 命名的类，还有一个由该 IRI 命名的个人；它们不是一回事，也不可能是一回事，因为阶级和个人是不同的东西。
例如，如果你有一个名为 x 的班级和一个名为 x 的个人，那么你可以这样说
（个人）x通过对象属性p
与个人y相关联或
个体 y 是（类 x）的一个元素
但你不能说，
个体y是（个体）x的一个元素[因为个体没有元素，类有]
或者那个
（类）x通过对象属性p与个体y相关[因为对象属性不将类与个体相关联，他们将个人与个人联系起来]
IRI 实际上只是 OWL 中的名称，它们本身并不是实体。 OWL 中的双关语让您可以在不混淆这些东西的情况下为多个东西使用相同的名称。在类和个人的情况下，它们是不同种类的事物，因此您可以重用名称，因为上下文总是会清楚地说明您的意思。
【讨论】：