Difference between revisions of "DOL"

From Ontohub
Jump to: navigation, search
(papers; updated)
(Documents)
Line 14: Line 14:
  
 
==Documents==
 
==Documents==
* [https://github.com/tillmo/DOL/raw/master/Standard/dol.pdf current version of the DOL standard]
+
* [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 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://iws.cs.uni-magdeburg.de/%7Emossakow/papers/DOL-Manifesto.pdf DOL manifesto (2015)] overview of DOL syntax and semantics
* [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]
+
* [http://www.informatik.uni-bremen.de/~till/papers/womo2013.pdf invited paper about DOL (2013)]
  
 
==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:36, 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