@inproceedings{LangeEtAL12a,
  abstract = {The Distributed Ontology Language (DOL) is currently being
standardised within the OntoIOp (Ontology Integration and
Interoper ability) activity of ISO/TC 37/SC 3.  It aims at
providing a unified framework for ontologies formalised in
heterogeneous logics, modular ontologies, links between
ontologies, and annotation of ontologies.
  
This paper focuses on building an ontology that formally
 describes DOL's vocabulary for logics, ontology languages (and
 their serialisations), as well as logic translations, called
 LoLa. Interestingly, to adequately formalise the logical
 relationships between these notions, LoLa itself needs to be
 axiomatised heterogeneously - a task for which we choose
 DOL. Namely, we use the logic RDF for Abox assertions, OWL for
 basic axiomatisations of various modules concerning logics,
 languages, and translations, FOL for capturing certain closure
 rules that are not expressible in OWL, and circumscription for
 minimising the extension of concepts describing default
 translations.},
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Lange, Christoph and Mossakowski, Till and Kutz, Oliver},
  biburl = {https://www.bibsonomy.org/bibtex/2257a357e9bb648a94d861eeb0882d1bd/tillmo},
  booktitle = {Workshop on modular ontologies},
  editor = {Schneider, Thomas and Walther, Dirk},
  interhash = {b353098a76ab0ecf2cef4b007b91271a},
  intrahash = {257a357e9bb648a94d861eeb0882d1bd},
  keywords = {DOL distributed heterogeneous ontology},
  pdfurl = {http://ceur-ws.org/Vol-875/regular_paper_5.pdf},
  series = {CEUR-WS online proceedings},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {LoLa: A Modular Ontology of Logics, Languages, and Translations},
  url = {http://ceur-ws.org/Vol-875/},
  volume = 875,
  year = 2012
}