1） 唯一名假设(Unique Name Assumption, UNA)： owl:AllDifferent 逻辑中一般采用唯一名假设，即名字不同的两个实例是不同的，而OW...
基于2个网页-相关网页
1） 唯一名假设(Unique Name Assumption, UNA)： owl:AllDifferent 逻辑中一般采用唯一名假设，即名字不同的两个实例是不同的，而OW...
基于1个网页-相关网页
短语
唯一命名假设
Unique Name Assumption
;
UNA
不使用唯一命名假设
Unique Name Assumption
;
UNA