@inproceedings{KutzMossakowski08,
  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.
},
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Kutz, Oliver and Mossakowski, Till},
  biburl = {https://www.bibsonomy.org/bibtex/2012661f6221d779c411c74c8fff48d4f/tillmo},
  booktitle = {ECAI 2008},
  editor = {Ghallab, M. and Spyropoulos, C.D. and Fakotakis, N. and Avouris, N.},
  interhash = {847b686ddd46d04e492a275bb93e7917},
  intrahash = {012661f6221d779c411c74c8fff48d4f},
  keywords = {imported},
  pdfurl = {http://www.informatik.uni-bremen.de/~till/papers/modules-ECAI.pdf},
  publisher = {IOS Press},
  series = {{F}rontiers in {A}rtificial {I}ntelligence and {A}pplications},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Conservativity in Structured Ontologies},
  volume = 178,
  year = 2008
}