| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
Oliver Kutz, Till Mossakowski, Mihai Codescu |
| Herausgeber: |
Ulrike Sattler, Andrei Tamilin |
| Titel: |
Shapes of Alignments - Construction, Combination, and Computation |
| Buch / Sammlungs-Titel: |
International Workshop on Ontologies: Reasoning and Modularity (WORM-08) |
| Band: |
348 |
| Serie / Reihe: |
CEUR-WS online proceedings |
| Erscheinungsjahr: |
2008 |
| Abstract / Kurzbeschreibung: |
We present a general approach for representing and combining alignments and computing these combinations, based on the category theoretic notions of diagram, pushout, and colimit. This generalises the possible `shapes' of alignments that have been introduced previously in similar approaches.
We use the theory of institutions to represent heterogeneous ontologies, and show how the tool Hets can be employed to compute the colimit ontology of an alignment diagram.
|
| Internet: |
http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-348/ |
| PDF Version: |
http://www.informatik.uni-bremen.de/~till/papers/shapes.pdf |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
29. 01. 2010 |
