Difference between revisions of "DOL"

From Ontohub
Jump to: navigation, search
(wikilink)
(DOL ontology)
 
(9 intermediate revisions by 2 users not shown)
Line 1: Line 1:
=The Distributed Ontology, Model and Specification Language – DOL=
+
=The Distributed Ontology, Modeling and Specification Language – DOL=
  
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.
+
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 12: Line 12:
  
 
==Documents==
 
==Documents==
* [http://www.omg.org/spec/DOL/ current version of the DOL standard] motivation, glossary, uses cases, examples, and formal definition of DOL
+
* [http://www.omg.org/spec/DOL/ official version of the DOL standard] (freely available)
 
* [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
* [http://www.informatik.uni-bremen.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==
* [http://esslli2016.unibz.it/?page_id=171 DOL tutorial] at ESSLLI 2016
+
* [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://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 31:
  
 
==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
  

Latest revision as of 13:56, 18 November 2020

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

Ontology

Slides

DOL examples

DOL Tools

Links