Difference between revisions of "DOL"

From Ontohub
Jump to: navigation, search
(Slides: all ESSLLI slides at once)
(15 intermediate revisions by 2 users not shown)
Line 1: Line 1:
=The Distributed Ontology, Modelling and Specification Language – DOL=
+
=The Distributed Ontology, Model and Specification Language – DOL=
  
The Distributed Ontology, Modelling 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,
 
* modular OSMs,  
 
* modular OSMs,  
* mappings (interpretations, alignments, and others) between OSMs.
+
* mappings (interpretations, alignments, refinements, and others) between OSMs,
 +
* networks of OMS and mappings.
  
A detailed overview of DOL is given in a [http://www.informatik.uni-bremen.de/~till/papers/womo2013.pdf Womo 2013 paper].
+
[[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.
This paper also contains examples. Some DOL examples for download are available [https://svn-agbkb.informatik.uni-bremen.de/Hets-lib/trunk/DOL/ here].
 
  
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==
 +
* [http://www.omg.org/spec/DOL/ current version of the DOL standard] motivation, glossary, uses cases, examples, and formal definition of DOL
 +
* [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://www.informatik.uni-bremen.de/~till/papers/womo2013.pdf invited paper about DOL (2013)] overview of DOL syntax, with examples
 +
 
 +
==Slides==
 +
* [http://esslli2016.unibz.it/?page_id=171 DOL tutorial] at ESSLLI 2016 [http://iks.cs.ovgu.de/%7Etill/papers/dol-esslli.pdf all ESSLLI slides at once]
 +
* [http://iws.cs.uni-magdeburg.de/%7Emossakow/papers/2015-09-21-DOL-tutorial.pdf DOL tutorial] at FroCoS 2015
 +
 
 +
==DOL examples==
 +
* [http://ontohub.org/dol-examples DOL examples at Ontohub]
 +
* [https://github.com/spechub/Hets-lib/tree/master/DOL DOL examples at Hets-lib].
 +
 
 +
==DOL Tools==
 +
* [[Hets|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==
 
==Links==
 
* [https://github.com/tillmo/DOL DOL development page]
 
* [https://github.com/tillmo/DOL DOL development page]
 
* [http://ontoiop.org OntoIOp page]
 
* [http://ontoiop.org OntoIOp page]

Revision as of 15:40, 11 October 2017

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

Slides

DOL examples

DOL Tools

Links