Difference between revisions of "DOL"

From Ontohub
Jump to: navigation, search
(Slides: new slides)
Line 18: Line 18:
  
 
==Slides==
 
==Slides==
 +
* [http://iks.cs.ovgu.de/~till/papers/slides-augsburg.pdf Modular and heterogeneous logical theories in DOL], Augsburg, Jan 2018
 +
* [http://iks.cs.ovgu.de/~till/papers/GI-Logic-2017.pdf Modular and heterogeneous logical theories in DOL], GI logic group, Nov 2017
 
* [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://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

Revision as of 16:20, 10 March 2019

The Distributed Ontology, Model and Specification Language – DOL

The Distributed Ontology, Model 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

Slides

DOL examples

DOL Tools

Links