DOL

The Distributed Ontology, Model and Specification Language – DOL

The Distributed Ontology, Model and Specification Language (DOL) has been approved as an OMG standard in February 2016 and is now being fianlized. DOL aims at providing a unified metalanguage for

• “as-is” use of ontologies, specifications, and models (OSMs), formulated in a specific language,
• OSMs formalised in heterogeneous logics,
• modular OSMs,
• mappings (interpretations, alignments, refinements, and others) between OSMs,
• networks of OMS and mappings.

Ontohub is a web-based repository engine speaking DOL. In order to upload a DOL file to Ontohub, go to some repository. Both in the 'Ontologies' tab and in the 'Ontology files and related files', you can upload a new ontology, which can also be a DOL file.

Documents

• current version of the DOL standard motivation, glossary, uses cases, examples, and formal definition of DOL
• DOL manifesto (2015) overview of DOL syntax and semantics, with examples
• Ontology Patterns with DOWL: The Case of Blending DOL for OWL users
• invited paper about DOL (2013) overview of DOL syntax, with examples

Slides

• DOL tutorial at ESSLLI 2016
• DOL tutorial at FroCoS 2015

DOL examples

• DOL examples at Ontohub
• DOL examples at Hets-lib.

DOL Tools

• The Heterogneous Tool Set (Hets) parsing, static analysis and proof management for DOL
• Ontohub a web-based ontology, model and specification repository engine
• emacs mode for DOL

Links

• DOL development page
• OntoIOp page