@inproceedings{KutzMossakowski2007,
  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.
},
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Kutz, Oliver and Mossakowski, Till},
  biburl = {https://www.bibsonomy.org/bibtex/2c0cc529140e6ede8fd37266cbfbf1a4d/tillmo},
  booktitle = {Second International Workshop on Modular Ontologies},
  editor = {Schlicht, Anne},
  interhash = {20c9aade926dc4b30205d4bff125d884},
  intrahash = {c0cc529140e6ede8fd37266cbfbf1a4d},
  keywords = {imported},
  pdfurl = {http://www.informatik.uni-bremen.de/~till/modular-revision.pdf},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Modules in Transition - Conservativity, Composition, and Colimits},
  url = {http://webrum.uni-mannheim.de/math/lski/WoMO07/},
  year = 2007
}