基于本体的子类/父类关系的分类体系形式化表示  

On Formal Representation of Subclass/Superclass Taxonomy Based-on Ontology

作　　者：赵波[1] 解敏[1] 夏幼明[1] 

机构地区：[1]云南师范大学计算机科学系,云南昆明650092

出　　处：《云南师范大学学报（自然科学版）》2008年第3期27-30,共4页Journal of Yunnan Normal University:Natural Sciences Edition

基　　金：云南省重点实验室开放基金资助项目;云南省自然科学基金重点项目(2004F00062)资助;省院省校合作项目(2004YX42)资助

摘　　要：目前,在对本体的研究中,存在着形式化程度不够的问题。文章针对本体模型中的概念分类进行分析,用代数语言给出了四种概念分类的形式化描述。并扩展UML,可视化地表示这四种概念分类。同时,用OWL实现了概念分类的描述。There is insufficient formal representation for ontology to some extent. In the paper, we focus on formal representation of ontology taxonomy. In order to achieving consistent and precise description of ontology taxonomy, algebra theory is used . UML is extended in order to visualize taxonomy. And the paper discusses how to implement it in OWL.

关 键 词：概念分类 子类/父类关系 UML OWL 

分 类 号：TP302.1[自动化与计算机技术—计算机系统结构]