| Publication type: |
Article in Proceedings |
| Author: |
Oliver Kutz, Till Mossakowski |
| Editor: |
M. Ghallab, C.D. Spyropoulos, N. Fakotakis, N. Avouris |
| Title: |
Conservativity in Structured Ontologies |
| Book / Collection title: |
ECAI 2008 |
| Volume: |
178 |
| Series: |
Frontiers in Artificial Intelligence and Applications |
| Year published: |
2008 |
| Publisher: |
IOS Press |
| Abstract: |
Using category theoretic notions, in particular diagrams and their colimits, we provide a common semantic backbone for various notions of modularity in structured ontologies, and outline a general approach for representing (heterogeneous) combinations of ontologies through interfaces of various kinds, based on the theory of institutions. This covers theory interpretations, (definitional) language extensions, symbol identifications, and conservative extensions. In particular, we study the problem of inheriting conservativity between sub-theories in a diagram to its colimit ontology, and apply this to the problem of localisation of reasoning in `modular ontology languages' such as DDLs or E-connections.
|
| PDF Version: |
http://www.informatik.uni-bremen.de/~till/papers/modules-ECAI.pdf |
| Status: |
Reviewed |
| Last updated: |
04. 08. 2008 |
|
 |
