| Publication type: |
Article in Proceedings |
| Author: |
Oliver Kutz, Till Mossakowski |
| Editor: |
Anne Schlicht |
| Title: |
Modules in Transition - Conservativity, Composition, and Colimits |
| Book / Collection title: |
Second International Workshop on Modular Ontologies |
| Year published: |
2007 |
| Abstract: |
Several modularity concepts for ontologies have been studied in the
literature. Can they be brought to a common basis? We propose to use
the language of category theory, in particular diagrams and their
colimits, for answering this question. We outline a general
approach for representing combinations of logical theories, or
ontologies, through interfaces of various kinds, based on diagrams
and the theory of institutions. In particular, we consider theory
interpretations, language extensions, symbol identification, and
conservative extensions. We study the problem of inheriting
conservativity between sub-theories in a diagram to its colimit
ontology. Finally, we apply this to the problem of conservativity
when composing DDLs or E-connections.
|
| Internet: |
http://webrum.uni-mannheim.de/math/lski/WoMO07/ |
| PDF Version: |
http://www.informatik.uni-bremen.de/~till/modular-revision.pdf |
| Status: |
Reviewed |
| Last updated: |
08. 01. 2008 |
|
 |
