Difference between revisions of "DOL"
From Ontohub
(→Documents: DOL) |
(OMG approval) |
||
| Line 1: | Line 1: | ||
=The Distributed Ontology, Model and Specification Language – DOL= | =The Distributed Ontology, Model and Specification Language – DOL= | ||
| − | The Distributed Ontology, Model and Specification Language (DOL) aims at providing a unified metalanguage for | + | The Distributed Ontology, Model and Specification Language (DOL) has been approved as an [http://omg.org 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, | * “as-is” use of ontologies, specifications, and models (OSMs), formulated in a specific language, | ||
* OSMs formalised in heterogeneous logics, | * OSMs formalised in heterogeneous logics, | ||
Revision as of 10:23, 25 September 2016
Contents
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.
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 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
