Publikation
Conservativity in Structured Ontologies
Oliver Kutz; Till Mossakowski
In: Malik Ghallab; Constantine D. Spyropoulos; Nikos Fakotakis; Nikos Avouris (Hrsg.). Proceedings of the 18th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence (ECAI-2008), July 21-25, Patras, Greece, Pages 89-93, Frontiers in Artificial Intelligence and Applications, Vol. 178, ISBN 978-1-58603-891-5, IOS Press, Amsterdam, The Netherlands, 2008.
Zusammenfassung
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.