Inproceedings1258: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Added from ontology) |
||
Zeile 1: | Zeile 1: | ||
+ | {{Publikation Author | ||
+ | |Rank=3 | ||
+ | |Author=Jérôme Euzenat | ||
+ | }} | ||
+ | {{Publikation Author | ||
+ | |Rank=2 | ||
+ | |Author=Markus Krötzsch | ||
+ | }} | ||
{{Publikation Author | {{Publikation Author | ||
|Rank=1 | |Rank=1 | ||
Zeile 6: | Zeile 14: | ||
|Rank=4 | |Rank=4 | ||
|Author=Pascal Hitzler | |Author=Pascal Hitzler | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
{{Inproceedings | {{Inproceedings | ||
Zeile 32: | Zeile 32: | ||
|VG Wort-Seiten= | |VG Wort-Seiten= | ||
|Download=2006_1258_Zimmermann_Formalizing_Ont_1.pdf | |Download=2006_1258_Zimmermann_Formalizing_Ont_1.pdf | ||
− | |Projekt=SEKT, KnowledgeWeb | + | |Projekt=SmartWeb, SEKT, KnowledgeWeb, |
|Forschungsgruppe= | |Forschungsgruppe= | ||
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
− | |Forschungsgebiet= | + | |Forschungsgebiet=Wissensrepräsentation |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
− | |Forschungsgebiet= | + | |Forschungsgebiet=Logik |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
Zeile 45: | Zeile 45: | ||
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
− | |Forschungsgebiet= | + | |Forschungsgebiet=Semantic Web |
}} | }} |
Version vom 15. August 2009, 23:21 Uhr
Formalizing Ontology Alignment and its Operations with Category Theory
Formalizing Ontology Alignment and its Operations with Category Theory
Published: 2006
November
Herausgeber: Brandon Bennett and Christiane Fellbaum
Buchtitel: Proceedings of the Fourth International Conference on Formal Ontology in Information Systems (FOIS 2006)
Ausgabe: 150
Reihe: Frontiers in Artificial Intelligence and Applications
Seiten: 277--288
Verlag: IOS Press
Referierte Veröffentlichung
BibTeX
Kurzfassung
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 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
ISBN: 978-1-58603-685-0
Download: Media:2006_1258_Zimmermann_Formalizing_Ont_1.pdf
Wissensrepräsentation, Logik, Künstliche Intelligenz, Semantic Web