Difference between revisions of "DOL"

From Ontohub
Jump to: navigation, search
(OMG approval)
(Slides: all ESSLLI slides at once)
(4 intermediate revisions by the same user not shown)
Line 9: Line 9:
 
* networks of OMS and mappings.
 
* 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.
+
[[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==
 
==Documents==
Line 18: Line 18:
  
 
==Slides==
 
==Slides==
* [http://esslli2016.unibz.it/?page_id=171 DOL tutorial] at ESSLLI 2016
+
* [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
 
* [http://iws.cs.uni-magdeburg.de/%7Emossakow/papers/2015-09-21-DOL-tutorial.pdf DOL tutorial] at FroCoS 2015
  
Line 26: Line 26:
  
 
==DOL Tools==
 
==DOL Tools==
* [http://hets.eu The Heterogneous Tool Set (Hets)] parsing, static analysis and proof management for DOL
+
* [[Hets|The Heterogneous Tool Set (Hets)]] parsing, static analysis and proof management for DOL
* [https://ontohub.org Ontohub] a web-based ontology, model and specification repository engine
+
* [[Ontohub]] a web-based ontology, model and specification repository engine
 
* [[emacs mode]] for DOL
 
* [[emacs mode]] for DOL
  

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