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.
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 ），也就是说，两个不同的名称可以对应到同一个个体。
Unique Name Assumption双语例句
This brings up an important point. OWL does not have a unique name assumption. Just because two names are different does not mean they refer to different individuals.
但这样做带来了一个问题。OWL中并没有名称唯一这一假定。仅仅名称不同并不意味着这两个名称引用的是不同的个体。
相关单词
- underemploymentn. [劳经] 不充分就业；未按专长就业
- underdevelopmentn. 不发达；[摄] 显影不足
- underdevelopedadj. （国家或地区）不发达的，经济落后的；发育不全的；（胶卷）显影不足的 v. （使）发展不完全；（使）显影不足（underdevelop 的过去式和过去分词）
- newsstandn. 报摊；杂志摊
- newscastern. 新闻播音员；新闻播报员；新闻广播员
- newsagentn. 报刊经销商
- nauticaladj. 航海的，海上的；船员的
- autarchyn. 专制，独裁；专制国家
- atlasn. 地图册；第一颈椎，寰椎；（希腊式建筑中支撑柱楣的）男像柱（复数atlantes）
- astropologist人类学家
- assignedadj. 指定的；已分配的 v. 分配（assign 的过去分词）；指定；委派
- artisann. 工匠，技工
- arithn. 数学；算术 adj. 算术的
- arenan. 竞技场，圆形剧场；斗争场所，活动舞台 【名】 （Arena）（英）阿里纳，（意、西、葡、德）阿雷纳（人名）
- apprenticeshipn. 学徒期；学徒身份