摘要
针对语义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. [
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第6期76-78,共3页
Computer Engineering
关键词
范畴论
本体集成
本体映射
本体合并
category theory
ontology integration
ontology mapping
ontology merging
