基于范畴论的本体描述方法

Descriptions for Ontologies Based on Category Theory

针对各种本体语言在描述本体过程中容易产生理解不一致的问题,利用范畴论的抽象性及图形化表示的优势,提出一种基于范畴论的本体描述方法,并给出了本体、本体映射和本体实例化的范畴论定义,其中本体被描述成范畴中的对象,本体间的映射被描述成范畴中对象间的同态射,本体实例化被描述成范畴间的函子。在此基础上,结合共极限和推出给出本体合并的描述及解释,并证明了本体合并的一些典型性质。

To solve the inconsistence problems brought by various ontology languages when describing ontologies,a description method for ontologies based on category theory was proposed by taking full advantages of abstractness and graphical expressions of category theory.The category theoretical definitions for ontology,ontology mapping and ontology instanilization were presented,where each ontology is described as an object of a category,each morphism between ontologies is described as the a homomorphism between objects of a category,and the instanlization of ontologies is described as a functor between two categories.After that,the notions of colimit and pushout were used to describe the merging of ontologies.And some interesting properties for ontology merging were proved from the viewpoints of category theory.