Difference between revisions of "DOL"

From Ontohub
Jump to: navigation, search
(papers; updated)
Line 5: Line 5:
 
* 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].
 
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://svn-agbkb.informatik.uni-bremen.de/Hets-lib/trunk/DOL/ here].
+
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.
 +
 +
==Documents==
 +
* [https://github.com/tillmo/DOL/raw/master/Standard/dol.pdf current version of the DOL standard]
 +
* [http://iws.cs.uni-magdeburg.de/%7Emossakow/papers/DOL-Manifesto.pdf Till Mossakowski, Mihai Codescu, Fabian Neuhaus, Oliver Kutz (2015). The Distributed Ontology, Modeling, and Specification Language - DOL. In A. Koslow, A. Buchsbaum (Eds.), The Road to Universal Logic. Volume II, Studies in Universal Logic, Springer]
 +
* [http://www.informatik.uni-bremen.de/~till/papers/womo2013.pdf Till Mossakowski, Oliver Kutz, Mihai Codescu, Christoph Lange (2013). The Distributed Ontology, Modeling and Specification Language. In Chiara Del Vescovo, Torsten Hahmann, David Pearce, Dirk Walther (Eds.), WoMo 2013, Vol. 1081, CEUR-WS online proceedings]
  
 
==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:31, 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.

A detailed overview of DOL is given in a Womo 2013 paper. This paper also contains examples. Some DOL examples for download are available 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

Links