基于范畴论的本体集成描述  

Ontology Integration Description Based on Category Theory

作　　者：杨先娣[1,2] 何宁[1,2] 吴黎兵[1] 

机构地区：[1]武汉大学计算机学院,武汉430072 [2]武汉大学计算中心,武汉430072

出　　处：《计算机工程》2009年第6期76-78,共3页Computer Engineering

摘　　要：针对语义Web中的本体异构问题,提出一种基于范畴论的本体集成描述方法。与集合论相比,范畴论具有更高的抽象性和更强、更直观的表达力,是本体集成形式化嚄理想工具。把本体结构作为对象,范畴论中的"态射"可描述本体映射,"外推"可描述本体合并,运用图例进行说明并给出本体合并算法。In order to solve the problem of ontology heterogeneity in semantic Web, an ontology integration description based on category theory is proposed. Compared with set theory, category theory is more abstract and its representation is stronger, so it is perfect tool to formalize ontology integration. Taken the ontology structure as object, the concept of ＂morphism＂ captures the idea of ontology mapping and ＂pushout＂ is used to merge ontology. Examples are used to illustrate the problem and the algorithm of ontology merging is presented. [

关 键 词：范畴论 本体集成 本体映射 本体合并 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]