在OWL中使用AllDifferent本体定义

Question

我可以解释'OWL没有唯一的名称假设是什么意思吗？仅仅因为两个名字不同并不意味着他们指的是不同的个人。

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

感谢

Answer 1

的本体，这使得唯一名称假设（UNA）implicitly treats all entities as distinct。如果本体不强制执行UNA，则可以推断具有不同名称的两个概念是等同的。

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