go top

unique name assumption 添加释义

网络释义英英释义

  假设

与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个网页-相关网页

Unique name assumption

  • abstract: The Unique Name Assumption (UNA) is a concept from ontology languages and description logics. In logics with the unique name assumption, different names always refer to different entities in the world.

以上来源于: WordNet

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定