Difference between revisions of "DOL"
From Ontohub
(→Slides: all ESSLLI slides at once) |
(inofficial DOL document) |
||
| Line 12: | Line 12: | ||
==Documents== | ==Documents== | ||
| − | * [ | + | * [https://github.com/tillmo/DOL/raw/master/Standard/dol.pdf inofficial version of the DOL standard] motivation, glossary, uses cases, examples, and formal definition of DOL |
| + | * [http://www.omg.org/spec/DOL/ official beta version of the DOL standard] (for OMG members only, will be freely available once we have the final version) | ||
* [http://iws.cs.uni-magdeburg.de/%7Emossakow/papers/DOL-Manifesto.pdf DOL manifesto (2015)] overview of DOL syntax and semantics, with examples | * [http://iws.cs.uni-magdeburg.de/%7Emossakow/papers/DOL-Manifesto.pdf DOL manifesto (2015)] overview of DOL syntax and semantics, with examples | ||
* [http://iws.cs.uni-magdeburg.de/%7Emossakow/papers/Ontology-Patterns-with-DOWL-The-Case-of-Blending.pdf Ontology Patterns with DOWL: The Case of Blending] DOL for OWL users | * [http://iws.cs.uni-magdeburg.de/%7Emossakow/papers/Ontology-Patterns-with-DOWL-The-Case-of-Blending.pdf Ontology Patterns with DOWL: The Case of Blending] DOL for OWL users | ||
Revision as of 13:27, 16 July 2018
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.
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 files of different types, including DOL.
Documents
- inofficial version of the DOL standard motivation, glossary, uses cases, examples, and formal definition of DOL
- official beta version of the DOL standard (for OMG members only, will be freely available once we have the final version)
- 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 all ESSLLI slides at once
- 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
