Difference between revisions of "DOL"
From Ontohub
(→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. | ||
| − | |||
| − | |||
| − | |||
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
Contents
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
- current version of the DOL standard motivation, glossary, uses cases, examples, and formal definition of DOL
- DOL manifesto (2015) overview of DOL syntax and semantics, with examples
- invited paper about DOL (2013) overview of DOL syntax, with examples
