Abstract: 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.

Key words: category theory, ontology integration, ontology mapping, ontology merging

摘要：

针对语义Web中的本体异构问题，提出一种基于范畴论的本体集成描述方法。与集合论相比，范畴论具有更高的抽象性和更强、更直观的表达力，是本体集成形式化嚄理想工具。把本体结构作为对象，范畴论中的“态射”可描述本体映射，“外推”可描述本体合并，运用图例进行说明并给出本体合并算法。

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

CLC Number: 

• TP311