我可以解释一下'OWL没有唯一的名称假设是什么意思。仅仅因为两个名字不同并不意味着它们指的是不同的个体。
这是否意味着每次我声明一些人属于一个类时,我都应该声明他们都是不同的?
谢谢
做出唯一名称假设 (UNA) 的本体隐含地将所有实体视为不同的。如果本体不强制执行 UNA,则有可能将具有不同名称的两个概念推断为等价。
OWL 不做 UNA 假设。因此,如果您有一个成员真正不同的类,并且您想对其进行建模,那么您需要使用differentFrom
或显式声明它AllDifferent
。这正是猫头鹰语言指南中三种不同葡萄酒的示例中所做的。