Difference between revisions of "DOL"
From Ontohub
(→Slides: new slides) |
(DOL ontology) |
||
| (One intermediate revision by one other user not shown) | |||
| Line 1: | Line 1: | ||
| − | =The Distributed Ontology, | + | =The Distributed Ontology, Modeling and Specification Language – DOL= |
| − | The Distributed Ontology, | + | The Distributed Ontology, Modeling and Specification Language (DOL) has been adopted as [http://omg.org OMG] standard in October 2018. |
DOL aims at providing a unified metalanguage for | 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, | ||
| Line 16: | Line 16: | ||
* [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 | ||
* [http://www.iks.cs.ovgu.de/~till/papers/womo2013.pdf invited paper about DOL (2013)] overview of DOL syntax, with examples | * [http://www.iks.cs.ovgu.de/~till/papers/womo2013.pdf invited paper about DOL (2013)] overview of DOL syntax, with examples | ||
| + | |||
| + | ==Ontology== | ||
| + | * [https://www.omg.org/spec/DOL/DOL-terms.rdf Ontology of DOL terms] | ||
==Slides== | ==Slides== | ||
Latest revision as of 13:56, 18 November 2020
Contents
The Distributed Ontology, Modeling and Specification Language – DOL
The Distributed Ontology, Modeling and Specification Language (DOL) has been adopted as OMG standard in October 2018. 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
- official version of the DOL standard (freely available)
- 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
Ontology
Slides
- Modular and heterogeneous logical theories in DOL, Augsburg, Jan 2018
- Modular and heterogeneous logical theories in DOL, GI logic group, Nov 2017
- 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
