Inproceedings890
What Is Ontology Merging? – A Category-Theoretical Perspective Using Pushouts
What Is Ontology Merging? – A Category-Theoretical Perspective Using Pushouts
Published: 2005
Juli
Herausgeber: Pavel Shvaiko, Jerome Euzenat, Alain Leger, Deborah L. McGuinness, and Holger Wache
Buchtitel: Proceedings of the First International Workshop on Contexts and Ontologies: Theory, Practice and Applications (C&0). Workshop at the 20th National Conference on Artificial Intelligence, AAAI-05, Pittsburgh, Pennsylvania, July 2005
Reihe: Technical Report WS-05-01
Seiten: 104-107
Verlag: AAAI Press, Menlo Park, California
Referierte Veröffentlichung
BibTeX
Kurzfassung
Ontology merging describes the process of integrating two (or more) ontologies
into a single one. How this is done best is a subject of ongoing research in the Semantic Web community. We propose a generic solution to the question, what the result of a merging should be in the ideal case. We will do this independent of a specific choice of ontology representation language, and thus provide a sort of blueprint for
the development of algorithms applicable in practice. Our methods are taken from
category theory. More precisely, we will argue that ontology merging is best captured by the notion of categorical pushout. Our paper is a first step towards the development of practically applicable algorithms.
Download: Media:2005_890_Hitzler_What_Is_Ontolog_1.pdf
Semantic Web Infrastructure, Semantic Web, Ontologiebasierte Wissensmanagementsysteme