本体中继承关系的形式化表示及其应用  

On formalization of inheritance relation in ontology and its application

作　　者：赵波[1] 冯洁[2] 

机构地区：[1]云南师范大学计算机科学系,云南昆明650092 [2]北京理工大学国家颜色科学与工程实验室,北京100081

出　　处：《计算机工程与设计》2008年第1期154-156,共3页Computer Engineering and Design

基　　金：云南省自然科学基金重点项目(2004F00062);云南省教育厅自然科学基金重点项目(6Z0035D);云南省重点实验室开放基金项目(2004K12);省院省校合作基金项目(2004YX42)

摘　　要：本体关系中最重要的关系是子类/父类关系(继承关系),在子类/父类关系中,存在着除了继承以外丰富的语义关联。但本体的研究中,存在着形式化程度不够的问题,人们常用自然语言解释这些关系,然而这样的解释通常是有歧义的。为了严格、准确描述这些语义关联,基于本体研究了它们的形式化描述,同时扩展UML,可视化地表示它们,并在此基础上,应用它们判定知识库中的某些错误。Subclass/superclass is important in ontology. There are rich semantic relations in subclass/superclass in addition to inheritance. However, there is insufficient formalization representation of ontology to some extent and these semantic relations are often explained in natural language to lead ambiguous definition. Formalization of the inheritance relations based on ontology is presented and UML is extended to describe them visually. Furthermore, they are applied to decide some errors in concept hierarchies.

关 键 词：本体 继承关系 类 形式化 判定规则 

分 类 号：TP182[自动化与计算机技术—控制理论与控制工程]