Formalizing ontology alignment and its operations with category theory

Abstract : 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 compo- sition, 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 approaches to solve this problem. The first one extends the notion of V-alignments to a more complex structure called W-alignments: a formalization of alignments relying on "bridge axioms". The second one relies on an elaborate concrete category of ontologies that offers high expressive power. We show that these two extensions have different advantages that may be exploited in different contexts (vi
Type de document :
Communication dans un congrès
Brandon Bennett, Christiane Fellbaum. Proc. 4th International conference on Formal ontology in information systems (FOIS), Nov 2006, Baltimore, United States. IOS Press, pp.277-288, 2006, Proc. 4th International conference on Formal ontology in information systems (FOIS)
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00825949
Contributeur : Jérôme Euzenat <>
Soumis le : vendredi 24 mai 2013 - 22:47:17
Dernière modification le : vendredi 27 avril 2018 - 13:54:02
Document(s) archivé(s) le : dimanche 25 août 2013 - 10:15:07

Fichier

zimmermann2006a.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00825949, version 1

Collections

Citation

Antoine Zimmermann, Markus Krötzsch, Jérôme Euzenat, Pascal Hitzler. Formalizing ontology alignment and its operations with category theory. Brandon Bennett, Christiane Fellbaum. Proc. 4th International conference on Formal ontology in information systems (FOIS), Nov 2006, Baltimore, United States. IOS Press, pp.277-288, 2006, Proc. 4th International conference on Formal ontology in information systems (FOIS). 〈hal-00825949〉

Partager

Métriques

Consultations de la notice

781

Téléchargements de fichiers

576