Conservativity in Structured Ontologies

9 years 6 days ago
Conservativity in Structured Ontologies
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.
Oliver Kutz, Till Mossakowski
Added 19 Oct 2010
Updated 19 Oct 2010
Type Conference
Year 2008
Where ECAI
Authors Oliver Kutz, Till Mossakowski
Comments (0)