owl - 在 OWL 本体定义中使用 AllDifferent

Question

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

这是否意味着每次我声明一些人属于一个类时，我都应该声明他们都是不同的？

谢谢

Answer 1

做出唯一名称假设 (UNA) 的本体隐含地将所有实体视为不同的。如果本体不强制执行 UNA，则有可能将具有不同名称的两个概念推断为等价。

OWL 不做 UNA 假设。因此，如果您有一个成员真正不同的类，并且您想对其进行建模，那么您需要使用differentFrom或显式声明它AllDifferent。这正是猫头鹰语言指南中三种不同葡萄酒的示例中所做的。