The Distributed Ontology Language (DOL): Use Cases, Syntax, and   Extensibility
  The Distributed Ontology Language (DOL) is currently being standardized within the OntoIOp (Ontology Integration and Interoperability) activity of ISO/TC 37/SC 3. It aims at providing a unified framework for (1) ontologies formalized in heterogeneous logics, (2) modular ontologies, (3) links between ontologies, and (4) annotation of ontologies. This paper presents the current state of DOL's standardization. It focuses on use cases where distributed ontologies enable interoperability and reusability. We demonstrate relevant features of the DOL syntax and semantics and explain how these integrate into existing knowledge engineering environments. 
Christoph Lange and Till Mossakowski and Oliver Kutz and Christian   Galinski and Michael Gr\"uninger and Daniel Couto Vale
cs.AI cs.DL cs.LO