Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch
English
 

Publications Search - Details

 
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

 Back to result list
 
   
Author: Automatically generated page
 
  Group BKB 
Last updated: May 9, 2023   impressum