与protégé不同的是在OWL中并没有唯一命名假设(Unique Name Assumption),也就是说,如果不明确指出两个命名个体是 不同的,那么这两个个体以指同一个对象。
基于4个网页-相关网页
1) 唯一名假设(Unique Name Assumption, UNA): owl:AllDifferent 逻辑中一般采用唯一名假设,即名字不同的两个实例是不同的,而OW...
基于2个网页-相关网页
1) 唯一名假设(Unique Name Assumption, UNA): owl:AllDifferent 逻辑中一般采用唯一名假设,即名字不同的两个实例是不同的,而OW...
基于2个网页-相关网页
...)我们实际感兴趣的那些对象, Protégé 和 OWL 有一个重要的区别就是 OWL 不使用唯一命名假设( Unique Name Assumption , UNA ),也就是说,两个不同的名称可以对应到同一个个体。
基于2个网页-相关网页
以上来源于: WordNet
应用推荐