Unique Name Assumption的意思|示意

假设 与protégé不同的是在OWL中并没有唯一命名假设（Unique Name Assumption），也就是说，如果不明确指出两个命名个体是 不同的，那么这两个个体以指同一个对象。

唯一名假设 1） 唯一名假设(Unique Name Assumption, UNA)： owl:AllDifferent 逻辑中一般采用唯一名假设，即名字不同的两个实例是不同的，而OW...

一名假设 1） 唯一名假设(Unique Name Assumption, UNA)： owl:AllDifferent 逻辑中一般采用唯一名假设，即名字不同的两个实例是不同的，而OW...

不使用唯一命名假设 ...）我们实际感兴趣的那些对象， Protégé 和 OWL 有一个重要的区别就是 OWL 不使用唯一命名假设（ Unique Name Assumption ， UNA ），也就是说，两个不同的名称可以对应到同一个个体。