Difference between revisions of "DOL"

From Ontohub
Jump to: navigation, search
(Documents)
(examples, tools)
Line 7: Line 7:
 
* mappings (interpretations, alignments, refinements, and others) between OSMs,
 
* mappings (interpretations, alignments, refinements, and others) between OSMs,
 
* networks of OMS and mappings.
 
* 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].
 
This paper also contains examples. Some DOL examples for download are available [https://github.com/spechub/Hets-lib/tree/master/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.
 
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.
Line 15: Line 12:
 
==Documents==
 
==Documents==
 
* [https://github.com/tillmo/DOL/raw/master/Standard/dol.pdf current version of the DOL standard] motivation, glossary, uses cases, examples, and formal definition of DOL
 
* [https://github.com/tillmo/DOL/raw/master/Standard/dol.pdf 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
+
* [http://iws.cs.uni-magdeburg.de/%7Emossakow/papers/DOL-Manifesto.pdf DOL manifesto (2015)] overview of DOL syntax and semantics, with examples
* [http://www.informatik.uni-bremen.de/~till/papers/womo2013.pdf invited paper about DOL (2013)]
+
* [http://www.informatik.uni-bremen.de/~till/papers/womo2013.pdf invited paper about DOL (2013)] overview of DOL syntax, with examples
 +
 
 +
==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==
 +
* [http://hets.eu The Heterogneous Tool Set (Hets)]
 +
* [https://ontohub.org]
  
 
==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 20:39, 29 April 2016

The Distributed Ontology, Modelling and Specification Language – DOL

The Distributed Ontology, Modelling and Specification Language (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.

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

DOL examples

DOL Tools

Links