Formalizing Ontology Alignment and its Operations with Category Theory

10 years 7 months ago
Formalizing Ontology Alignment and its Operations with Category Theory
An ontology alignment is the expression of relations between different ontologies. In order to view alignments independently from the language expressing ontologies and from the techniques used for finding the alignments, we use a category-theoretical model in which ontologies are the objects. We introduce a categorical structure, called V-alignment, made of a pair of morphisms with a common domain having the ontologies as codomain. This structure serves to design an algebra that describes formally what are ontology merging, alignment composition, union and intersection using categorical constructions. This enables combining alignments of various provenance. Although the desirable properties of this algebra make such abstract manipulation of V-alignments very simple, it is practically not well fitted for expressing complex alignments: expressing subsumption between entities of two different ontologies demands the definition of non-standard categories of ontologies. We consider two appr...
Antoine Zimmermann, Markus Krötzsch, Jé
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2006
Where FOIS
Authors Antoine Zimmermann, Markus Krötzsch, Jérôme Euzenat, Pascal Hitzler
Comments (0)