Ontology Integration Description Based on Category Theory

YANG Xian-di,HE Ning,WU Li-bing
DOI: https://doi.org/10.3969/j.issn.1000-3428.2009.06.026
2009-01-01
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.
What problem does this paper attempt to address?