在OWL本体定义中使用所有不同

Question

我可以解释'OWL没有唯一名称假设的含义吗？仅仅因为两个名字不同并不意味着它们指的是不同的个体。

这是否意味着每次我宣布属于某个班级的某些人时，我应该声明他们都是不同的？

由于

Answer 1

制作唯一名称假设（UNA）implicitly treats all entities as distinct的本体论。如果本体没有强制执行UNA，那么可以推断出具有不同名称的两个概念是等价的。

OWL没有做出UNA假设。因此，如果您有一个成员真正不同的类，并且您想对其进行建模，那么您需要使用differentFrom或AllDifferent明确声明它。这正是Owl Language Guide中三种不同葡萄酒的例子。