基于范疇論的本體集成描述:針對語義Web 中的本體異構(gòu)問題，提出一種基于范疇論的本體集成描述方法。與集合論相比，范疇論具有更高的抽象性和更強、
更直觀的表達力，是本體集成形式化嚄理想工具。把本體結(jié)構(gòu)作為對象，范疇論中的“態(tài)射”可描述本體映射，“外推”可描述本體合并，
運用圖例進行說明并給出本體合并算法。
關(guān)鍵詞：范疇論；本體集成；本體映射；本體合并

【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