Ontohub - User contributions [en]

DOL

2024-12-17T19:30:03Z

Tillmo: /* Documents */ OMG url

=The Distributed Ontology, Modeling and Specification Language – DOL=

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
* “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==
* [http://www.omg.org/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/Ontology-Patterns-with-DOWL-The-Case-of-Blending.pdf Ontology Patterns with DOWL: The Case of Blending] DOL for OWL users
* [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==
* [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

==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==
* [[Hets|The Heterogneous Tool Set (Hets)]] parsing, static analysis and proof management for DOL
* [[Ontohub]] a web-based ontology, model and specification repository engine
* [[emacs mode]] for DOL

==Links==
* [https://github.com/tillmo/DOL DOL development page]
* [http://ontoiop.org OntoIOp page]

DOL

2020-11-18T13:56:05Z

Tillmo: DOL ontology

=The Distributed Ontology, Modeling and Specification Language – DOL=

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
* “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==
* [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/Ontology-Patterns-with-DOWL-The-Case-of-Blending.pdf Ontology Patterns with DOWL: The Case of Blending] DOL for OWL users
* [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==
* [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

==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==
* [[Hets|The Heterogneous Tool Set (Hets)]] parsing, static analysis and proof management for DOL
* [[Ontohub]] a web-based ontology, model and specification repository engine
* [[emacs mode]] for DOL

==Links==
* [https://github.com/tillmo/DOL DOL development page]
* [http://ontoiop.org OntoIOp page]

Ontohub

2020-05-04T08:39:55Z

Tillmo: /* LoLa Ontology */ removed dead link

==Ontohub web portal==
Ontohub is available at [http://ontohub.org http://ontohub.org].

==Ontohub architecture==

The Ontohub infrastructure is powered by the open-source web framework [http://ruby.railstutorial.org/ruby-on-rails-tutorial-book Ruby on Rails] for building dynamic web applications. The source code is available at [https://github.com/ontohub/ontohub/ github]. The
Ontohub git repository has separate branches development, staging and master. Software developers are introducing new features of Ontohub on its develop branch. After going through all necessary tests for stability, new features are merged to the staging (and master, i.e. visible website). In that way, the UI on the main page is always stable.

==HETS==

The parsing and inference backend of Ontohub is the [[Hets|Heterogeneous Tool Set]]. you can find a detailed architecture of Ontohub on page 8 of [http://ontolog.cim3.net/file/work/OpenOntologyRepository/Ontohub/ontohub--TillMossakowski-et-al_20130621a.pdf Ontohub preprint paper] <ref name="Mossakowski">Mossakowski, Till, Oliver Kutz, and Mihai Codescu. "Ontohub - a repository engine for heterogeneous ontologies and alignments." preprint. [http://ontolog.cim3.net/file/work/OpenOntologyRepository/Ontohub/ontohub--TillMossakowski-et-al_20130621a.pdf PDF] </ref>

Ontohub accesses the Heterogeneous Tool Set Hets via a RESTful web service interface for having the structure of ontologies analyzed. Hets already supports a large number of basic ontology languages and logics, and is capable of describing the structural outline of an ontology from the perspective of DOL, which is not committed to one particular logic.

==DOL==

The '''D'''istributed '''O'''ntology, Modelling and Specification '''L'''anguage ([[DOL]]) covers all state-of-the-art ontology languages, and provides a meta level on top of these. This meta level allows for the representation of logically heterogeneous ontologies. DOL ontologies may comprise of modules written in ontology languages with different underlying logics. Moreover, the DOL meta level constructs allow for links between ontologies such as relative interpretations or conservative extensions. <ref name="Mossakowski2">Mossakowski, Till, Christoph Lange, and Oliver Kutz. "Three Semantics for the Core of the Distributed Ontology Language." FOIS. 2012. [http://www.informatik.uni-bremen.de/~till/papers/DOLsemantics.pdf PDF] </ref>

Since the Ontohub infrastructure supports DOL, it allows the Ontohub users
* to relate ontologies that are written in different formalisms;
* to re-use ontology modules even if they have been formulated in a different formalism;
* to re-use ontology tools like theorem provers and module extractors along translations between formalisms.

DOL has been standardised at OMG.

==LoLa Ontology==

LoLa is an ontology of (ontology) '''Lo'''gics and '''La'''nguages. Onthub implements LoLa for structuring the repository content. The OWL core of the LoLa ontology comprises classes for ontology languages, logics, mappings (translations or projections) between ontology languages and between logics, as well as serialisations. The LoLa properties relate all of the former classes to each other. Besides its OWL module, LoLa includes additional FOL axioms for closure rules not expressible in OWL, such as non-expressible role compositions and circumscription rules for minimising the extension of default translations. <ref name="Lange">Lange, Christoph, Till Mossakowski, and Oliver Kutz. "LoLa: A Modular Ontology of Logics, Languages, and Translations." Workshop on Modular Ontologies (WoMO) 2012. 2012. [ftp://ceur-ws.org/pub/publications/CEUR-WS/Vol-875.zip#page=60 PDF] </ref>

----

== References ==
<references/>

Ontohub

2020-05-04T08:37:38Z

Tillmo: /* DOL */ removed dead link

==Ontohub web portal==
Ontohub is available at [http://ontohub.org http://ontohub.org].

==Ontohub architecture==

The Ontohub infrastructure is powered by the open-source web framework [http://ruby.railstutorial.org/ruby-on-rails-tutorial-book Ruby on Rails] for building dynamic web applications. The source code is available at [https://github.com/ontohub/ontohub/ github]. The
Ontohub git repository has separate branches development, staging and master. Software developers are introducing new features of Ontohub on its develop branch. After going through all necessary tests for stability, new features are merged to the staging (and master, i.e. visible website). In that way, the UI on the main page is always stable.

==HETS==

The parsing and inference backend of Ontohub is the [[Hets|Heterogeneous Tool Set]]. you can find a detailed architecture of Ontohub on page 8 of [http://ontolog.cim3.net/file/work/OpenOntologyRepository/Ontohub/ontohub--TillMossakowski-et-al_20130621a.pdf Ontohub preprint paper] <ref name="Mossakowski">Mossakowski, Till, Oliver Kutz, and Mihai Codescu. "Ontohub - a repository engine for heterogeneous ontologies and alignments." preprint. [http://ontolog.cim3.net/file/work/OpenOntologyRepository/Ontohub/ontohub--TillMossakowski-et-al_20130621a.pdf PDF] </ref>

Ontohub accesses the Heterogeneous Tool Set Hets via a RESTful web service interface for having the structure of ontologies analyzed. Hets already supports a large number of basic ontology languages and logics, and is capable of describing the structural outline of an ontology from the perspective of DOL, which is not committed to one particular logic.

==DOL==

The '''D'''istributed '''O'''ntology, Modelling and Specification '''L'''anguage ([[DOL]]) covers all state-of-the-art ontology languages, and provides a meta level on top of these. This meta level allows for the representation of logically heterogeneous ontologies. DOL ontologies may comprise of modules written in ontology languages with different underlying logics. Moreover, the DOL meta level constructs allow for links between ontologies such as relative interpretations or conservative extensions. <ref name="Mossakowski2">Mossakowski, Till, Christoph Lange, and Oliver Kutz. "Three Semantics for the Core of the Distributed Ontology Language." FOIS. 2012. [http://www.informatik.uni-bremen.de/~till/papers/DOLsemantics.pdf PDF] </ref>

Since the Ontohub infrastructure supports DOL, it allows the Ontohub users
* to relate ontologies that are written in different formalisms;
* to re-use ontology modules even if they have been formulated in a different formalism;
* to re-use ontology tools like theorem provers and module extractors along translations between formalisms.

DOL has been standardised at OMG.

==LoLa Ontology==

LoLa is an ontology of (ontology) '''Lo'''gics and '''La'''nguages. Onthub implements [http://purl.net/dol/1.0/rdf# LoLa] for structuring the repository content. The OWL core of the LoLa ontology comprises classes for ontology languages, logics, mappings (translations or projections) between ontology languages and between logics, as well as serialisations. The LoLa properties relate all of the former classes to each other. Besides its OWL module, LoLa includes additional FOL axioms for closure rules not expressible in OWL, such as non-expressible role compositions and circumscription rules for minimising the extension of default translations. <ref name="Lange">Lange, Christoph, Till Mossakowski, and Oliver Kutz. "LoLa: A Modular Ontology of Logics, Languages, and Translations." Workshop on Modular Ontologies (WoMO) 2012. 2012. [ftp://ceur-ws.org/pub/publications/CEUR-WS/Vol-875.zip#page=60 PDF] </ref>

----

== References ==
<references/>

Ontohub

2020-05-04T08:36:26Z

Tillmo: /* Ontohub web portal */ removed dead links

==Ontohub web portal==
Ontohub is available at [http://ontohub.org http://ontohub.org].

==Ontohub architecture==

The Ontohub infrastructure is powered by the open-source web framework [http://ruby.railstutorial.org/ruby-on-rails-tutorial-book Ruby on Rails] for building dynamic web applications. The source code is available at [https://github.com/ontohub/ontohub/ github]. The
Ontohub git repository has separate branches development, staging and master. Software developers are introducing new features of Ontohub on its develop branch. After going through all necessary tests for stability, new features are merged to the staging (and master, i.e. visible website). In that way, the UI on the main page is always stable.

==HETS==

The parsing and inference backend of Ontohub is the [[Hets|Heterogeneous Tool Set]]. you can find a detailed architecture of Ontohub on page 8 of [http://ontolog.cim3.net/file/work/OpenOntologyRepository/Ontohub/ontohub--TillMossakowski-et-al_20130621a.pdf Ontohub preprint paper] <ref name="Mossakowski">Mossakowski, Till, Oliver Kutz, and Mihai Codescu. "Ontohub - a repository engine for heterogeneous ontologies and alignments." preprint. [http://ontolog.cim3.net/file/work/OpenOntologyRepository/Ontohub/ontohub--TillMossakowski-et-al_20130621a.pdf PDF] </ref>

Ontohub accesses the Heterogeneous Tool Set Hets via a RESTful web service interface for having the structure of ontologies analyzed. Hets already supports a large number of basic ontology languages and logics, and is capable of describing the structural outline of an ontology from the perspective of DOL, which is not committed to one particular logic.

==DOL==

The '''D'''istributed '''O'''ntology, Modelling and Specification '''L'''anguage ([[DOL]]) covers all state-of-the-art ontology languages, and provides a meta level on top of these. This meta level allows for the representation of logically heterogeneous ontologies. DOL ontologies may comprise of modules written in ontology languages with different underlying logics. Moreover, the DOL meta level constructs allow for links between ontologies such as relative interpretations or conservative extensions. <ref name="Mossakowski2">Mossakowski, Till, Christoph Lange, and Oliver Kutz. "Three Semantics for the Core of the Distributed Ontology Language." FOIS. 2012. [http://www.informatik.uni-bremen.de/~till/papers/DOLsemantics.pdf PDF] </ref>

Since the Ontohub infrastructure supports DOL, it allows the Ontohub users
* to relate ontologies that are written in different formalisms;
* to re-use ontology modules even if they have been formulated in a different formalism;
* to re-use ontology tools like theorem provers and module extractors along translations between formalisms.

DOL is currently being standardised within the [http://about.ontohub.org/ontoiop.html OntoIOp] working group.

==LoLa Ontology==

LoLa is an ontology of (ontology) '''Lo'''gics and '''La'''nguages. Onthub implements [http://purl.net/dol/1.0/rdf# LoLa] for structuring the repository content. The OWL core of the LoLa ontology comprises classes for ontology languages, logics, mappings (translations or projections) between ontology languages and between logics, as well as serialisations. The LoLa properties relate all of the former classes to each other. Besides its OWL module, LoLa includes additional FOL axioms for closure rules not expressible in OWL, such as non-expressible role compositions and circumscription rules for minimising the extension of default translations. <ref name="Lange">Lange, Christoph, Till Mossakowski, and Oliver Kutz. "LoLa: A Modular Ontology of Logics, Languages, and Translations." Workshop on Modular Ontologies (WoMO) 2012. 2012. [ftp://ceur-ws.org/pub/publications/CEUR-WS/Vol-875.zip#page=60 PDF] </ref>

----

== References ==
<references/>

DOL

2019-03-10T16:20:02Z

Tillmo: /* Slides */ new slides

=The Distributed Ontology, Model and Specification Language – DOL=

The Distributed Ontology, Model and Specification Language (DOL) has been adopted as [http://omg.org 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==
* [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/Ontology-Patterns-with-DOWL-The-Case-of-Blending.pdf Ontology Patterns with DOWL: The Case of Blending] DOL for OWL users
* [http://www.iks.cs.ovgu.de/~till/papers/womo2013.pdf invited paper about DOL (2013)] overview of DOL syntax, with examples

==Slides==
* [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

==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==
* [[Hets|The Heterogneous Tool Set (Hets)]] parsing, static analysis and proof management for DOL
* [[Ontohub]] a web-based ontology, model and specification repository engine
* [[emacs mode]] for DOL

==Links==
* [https://github.com/tillmo/DOL DOL development page]
* [http://ontoiop.org OntoIOp page]

DOL

2019-02-02T20:03:20Z

Tillmo: corrected link to paper

=The Distributed Ontology, Model 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.
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==
* [https://github.com/tillmo/DOL/raw/master/Standard/dol.pdf inofficial 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/Ontology-Patterns-with-DOWL-The-Case-of-Blending.pdf Ontology Patterns with DOWL: The Case of Blending] DOL for OWL users
* [http://www.iks.cs.ovgu.de/~till/papers/womo2013.pdf invited paper about DOL (2013)] overview of DOL syntax, with examples

==Slides==
* [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

==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==
* [[Hets|The Heterogneous Tool Set (Hets)]] parsing, static analysis and proof management for DOL
* [[Ontohub]] a web-based ontology, model and specification repository engine
* [[emacs mode]] for DOL

==Links==
* [https://github.com/tillmo/DOL DOL development page]
* [http://ontoiop.org OntoIOp page]

DOL

2019-01-15T19:48:56Z

Tillmo: official standard finalised

=The Distributed Ontology, Model 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.
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==
* [https://github.com/tillmo/DOL/raw/master/Standard/dol.pdf inofficial 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/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

==Slides==
* [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

==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==
* [[Hets|The Heterogneous Tool Set (Hets)]] parsing, static analysis and proof management for DOL
* [[Ontohub]] a web-based ontology, model and specification repository engine
* [[emacs mode]] for DOL

==Links==
* [https://github.com/tillmo/DOL DOL development page]
* [http://ontoiop.org OntoIOp page]

Atom

2018-08-09T12:54:40Z

Tillmo:

We will use the [http://atom.io/ Atom editor] for working with DOL, OWL, CommonLogic, CASL etc. We aim at a neat integration of Atom into [[Hets]].

Useful Atom packages:
* LaTeX
* git-plus

Atom

2018-07-16T18:43:36Z

Tillmo: typo

We will use the [http://atom.io/ Atom editor] for working with DOL, OWL, CommonLogic, CASL etc. We aim at a neat integration of Atom into [[Hets]].

Useful Atom packages:
* LaTeX

DOL

2018-07-16T13:27:56Z

Tillmo: inofficial DOL document

=The Distributed Ontology, Model 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.
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==
* [https://github.com/tillmo/DOL/raw/master/Standard/dol.pdf inofficial version of the DOL standard] motivation, glossary, uses cases, examples, and formal definition of DOL
* [http://www.omg.org/spec/DOL/ official beta version of the DOL standard] (for OMG members only, will be freely available once we have the final version)
* [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://www.informatik.uni-bremen.de/~till/papers/womo2013.pdf invited paper about DOL (2013)] overview of DOL syntax, with examples

==Slides==
* [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

==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==
* [[Hets|The Heterogneous Tool Set (Hets)]] parsing, static analysis and proof management for DOL
* [[Ontohub]] a web-based ontology, model and specification repository engine
* [[emacs mode]] for DOL

==Links==
* [https://github.com/tillmo/DOL DOL development page]
* [http://ontoiop.org OntoIOp page]

Atom

2018-06-21T09:03:41Z

Tillmo: initial page

We will use the [Atom editor http://atom.io/] for working with DOL, OWL, CommonLogic, CASL etc. We aim at a neat integration of Atom into [[Hets]].

Useful Atom packages:
* LaTeX

DOL

2017-10-11T15:40:09Z

Tillmo: /* Slides */ all ESSLLI slides at once

=The Distributed Ontology, Model 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.
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==
* [http://www.omg.org/spec/DOL/ 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, 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://www.informatik.uni-bremen.de/~till/papers/womo2013.pdf invited paper about DOL (2013)] overview of DOL syntax, with examples

==Slides==
* [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

==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==
* [[Hets|The Heterogneous Tool Set (Hets)]] parsing, static analysis and proof management for DOL
* [[Ontohub]] a web-based ontology, model and specification repository engine
* [[emacs mode]] for DOL

==Links==
* [https://github.com/tillmo/DOL DOL development page]
* [http://ontoiop.org OntoIOp page]

Axiom names

2017-05-07T14:50:04Z

Tillmo: /* OWL */ other syntaxes

It is useful to label axioms and conjectures with self-explanatory names. This pays off especially when using a theorem prover with [[Hets]] or [[Ontohub]], because then these names can be used to quickly select both axioms and conjectures (proof goals).
==DOL==
In DOL, axiom labels are written as follows:
. axiom %(axiom_label)%
==OWL==
In OWL, axioms can be annotated with labels, using an rdfs:label annotation. Protégé has an editing facility for this. These labels will be stored together with the ontology in any syntax.

For example, in OWL Manchester syntax, this looks as follws:
Class: Woman SubClassOf: Annotations: rdfs:label "WomanSubClassOfPerson" Person
see also [https://ontohub.org/appliedontologyontohubpaper/familyRelations.omn some example OWL file] [https://ontohub.org/appliedontologyontohubpaper/scenario.omn another sample OWL file] [https://ontohub.org/appliedontologyontohubpaper/competencyQuestion.dol sample DOL file]

DOL

2017-05-04T20:19:58Z

Tillmo: /* DOL Tools */ wikilinks

=The Distributed Ontology, Model 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.
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==
* [http://www.omg.org/spec/DOL/ 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, 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://www.informatik.uni-bremen.de/~till/papers/womo2013.pdf invited paper about DOL (2013)] overview of DOL syntax, with examples

==Slides==
* [http://esslli2016.unibz.it/?page_id=171 DOL tutorial] at ESSLLI 2016
* [http://iws.cs.uni-magdeburg.de/%7Emossakow/papers/2015-09-21-DOL-tutorial.pdf DOL tutorial] at FroCoS 2015

==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==
* [[Hets|The Heterogneous Tool Set (Hets)]] parsing, static analysis and proof management for DOL
* [[Ontohub]] a web-based ontology, model and specification repository engine
* [[emacs mode]] for DOL

==Links==
* [https://github.com/tillmo/DOL DOL development page]
* [http://ontoiop.org OntoIOp page]

Hets

2017-05-04T20:18:35Z

Tillmo: start

The heterogeneous tool set (Hets) is a parsing, static analysis and proof management tool incorporating various provers and different logical languages, thus providing a tool for heterogeneous ontologies, models and specifications. Logic translations are first-class citizens. Hets is the central analysis tool for [[DOL]].

Find more about Hets on the [http://hets.eu/ Hets homepage].

Ontohub

2017-05-04T20:16:28Z

Tillmo: Hets wikilink

==Ontohub web portal==
Ontohub is available at [http://ontohub.org http://ontohub.org]. Read more about the [http://about.ontohub.org/team.html Ontohub team]. A test version with latest features is available at [http://develop.ontohub.org http://develop.ontohub.org] (but note that the contents there can be deleted at any time!).

==Ontohub architecture==

The Ontohub infrastructure is powered by the open-source web framework [http://ruby.railstutorial.org/ruby-on-rails-tutorial-book Ruby on Rails] for building dynamic web applications. The source code is available at [https://github.com/ontohub/ontohub/ github]. The
Ontohub git repository has separate branches development, staging and master. Software developers are introducing new features of Ontohub on its develop branch. After going through all necessary tests for stability, new features are merged to the staging (and master, i.e. visible website). In that way, the UI on the main page is always stable.

==HETS==

The parsing and inference backend of Ontohub is the [[Hets|Heterogeneous Tool Set]]. you can find a detailed architecture of Ontohub on page 8 of [http://ontolog.cim3.net/file/work/OpenOntologyRepository/Ontohub/ontohub--TillMossakowski-et-al_20130621a.pdf Ontohub preprint paper] <ref name="Mossakowski">Mossakowski, Till, Oliver Kutz, and Mihai Codescu. "Ontohub - a repository engine for heterogeneous ontologies and alignments." preprint. [http://ontolog.cim3.net/file/work/OpenOntologyRepository/Ontohub/ontohub--TillMossakowski-et-al_20130621a.pdf PDF] </ref>

Ontohub accesses the Heterogeneous Tool Set Hets via a RESTful web service interface for having the structure of ontologies analyzed. Hets already supports a large number of basic ontology languages and logics, and is capable of describing the structural outline of an ontology from the perspective of DOL, which is not committed to one particular logic.

==DOL==

The '''D'''istributed '''O'''ntology, Modelling and Specification '''L'''anguage ([[DOL]]) covers all state-of-the-art ontology languages, and provides a meta level on top of these. This meta level allows for the representation of logically heterogeneous ontologies. DOL ontologies may comprise of modules written in ontology languages with different underlying logics. Moreover, the DOL meta level constructs allow for links between ontologies such as relative interpretations or conservative extensions. <ref name="Mossakowski2">Mossakowski, Till, Christoph Lange, and Oliver Kutz. "Three Semantics for the Core of the Distributed Ontology Language." FOIS. 2012. [http://www.informatik.uni-bremen.de/~till/papers/DOLsemantics.pdf PDF] </ref>

Since the Ontohub infrastructure supports DOL, it allows the Ontohub users
* to relate ontologies that are written in different formalisms;
* to re-use ontology modules even if they have been formulated in a different formalism;
* to re-use ontology tools like theorem provers and module extractors along translations between formalisms.

DOL is currently being standardised within the [http://about.ontohub.org/ontoiop.html OntoIOp] working group.

==LoLa Ontology==

LoLa is an ontology of (ontology) '''Lo'''gics and '''La'''nguages. Onthub implements [http://purl.net/dol/1.0/rdf# LoLa] for structuring the repository content. The OWL core of the LoLa ontology comprises classes for ontology languages, logics, mappings (translations or projections) between ontology languages and between logics, as well as serialisations. The LoLa properties relate all of the former classes to each other. Besides its OWL module, LoLa includes additional FOL axioms for closure rules not expressible in OWL, such as non-expressible role compositions and circumscription rules for minimising the extension of default translations. <ref name="Lange">Lange, Christoph, Till Mossakowski, and Oliver Kutz. "LoLa: A Modular Ontology of Logics, Languages, and Translations." Workshop on Modular Ontologies (WoMO) 2012. 2012. [ftp://ceur-ws.org/pub/publications/CEUR-WS/Vol-875.zip#page=60 PDF] </ref>

----

== References ==
<references/>

Axiom names

2017-05-04T20:08:11Z

Tillmo: more OWL examples

It is useful to label axioms and conjectures with self-explanatory names. This pays off especially when using a theorem prover with [[Hets]] or [[Ontohub]], because then these names can be used to quickly select both axioms and conjectures (proof goals).
==DOL==
In DOL, axiom labels are written as follows:
. axiom %(axiom_label)%
==OWL==
In OWL Manchester syntax, axioms can be labeled using an rdfs:label annotation:
Class: Woman SubClassOf: Annotations: rdfs:label "WomanSubClassOfPerson" Person
see also [https://ontohub.org/appliedontologyontohubpaper/familyRelations.omn some example OWL file] [https://ontohub.org/appliedontologyontohubpaper/scenario.omn another sample OWL file] [https://ontohub.org/appliedontologyontohubpaper/competencyQuestion.dol sample DOL file]

Axiom names

2017-05-04T20:06:31Z

Tillmo: started page

DOL

2017-05-04T19:52:38Z

Tillmo: wikilink

=The Distributed Ontology, Model 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.
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==
* [http://www.omg.org/spec/DOL/ 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, 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://www.informatik.uni-bremen.de/~till/papers/womo2013.pdf invited paper about DOL (2013)] overview of DOL syntax, with examples

==Slides==
* [http://esslli2016.unibz.it/?page_id=171 DOL tutorial] at ESSLLI 2016
* [http://iws.cs.uni-magdeburg.de/%7Emossakow/papers/2015-09-21-DOL-tutorial.pdf DOL tutorial] at FroCoS 2015

==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)] parsing, static analysis and proof management for DOL
* [https://ontohub.org Ontohub] a web-based ontology, model and specification repository engine
* [[emacs mode]] for DOL

==Links==
* [https://github.com/tillmo/DOL DOL development page]
* [http://ontoiop.org OntoIOp page]

DOL

2016-09-25T10:25:15Z

Tillmo: file upload

=The Distributed Ontology, Model 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.
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.

[https://ontohub.org 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==
* [http://www.omg.org/spec/DOL/ 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, 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://www.informatik.uni-bremen.de/~till/papers/womo2013.pdf invited paper about DOL (2013)] overview of DOL syntax, with examples

==Slides==
* [http://esslli2016.unibz.it/?page_id=171 DOL tutorial] at ESSLLI 2016
* [http://iws.cs.uni-magdeburg.de/%7Emossakow/papers/2015-09-21-DOL-tutorial.pdf DOL tutorial] at FroCoS 2015

==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)] parsing, static analysis and proof management for DOL
* [https://ontohub.org Ontohub] a web-based ontology, model and specification repository engine
* [[emacs mode]] for DOL

==Links==
* [https://github.com/tillmo/DOL DOL development page]
* [http://ontoiop.org OntoIOp page]

DOL

2016-09-25T10:24:14Z

Tillmo: Ontohub

=The Distributed Ontology, Model 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.
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.

[https://ontohub.org 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 a new ontology, which can also be a DOL file.

==Documents==
* [http://www.omg.org/spec/DOL/ 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, 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://www.informatik.uni-bremen.de/~till/papers/womo2013.pdf invited paper about DOL (2013)] overview of DOL syntax, with examples

==Slides==
* [http://esslli2016.unibz.it/?page_id=171 DOL tutorial] at ESSLLI 2016
* [http://iws.cs.uni-magdeburg.de/%7Emossakow/papers/2015-09-21-DOL-tutorial.pdf DOL tutorial] at FroCoS 2015

==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)] parsing, static analysis and proof management for DOL
* [https://ontohub.org Ontohub] a web-based ontology, model and specification repository engine
* [[emacs mode]] for DOL

==Links==
* [https://github.com/tillmo/DOL DOL development page]
* [http://ontoiop.org OntoIOp page]

DOL

2016-09-25T10:23:03Z

Tillmo: OMG approval

=The Distributed Ontology, Model 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.
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==
* [http://www.omg.org/spec/DOL/ 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, 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://www.informatik.uni-bremen.de/~till/papers/womo2013.pdf invited paper about DOL (2013)] overview of DOL syntax, with examples

==Slides==
* [http://esslli2016.unibz.it/?page_id=171 DOL tutorial] at ESSLLI 2016
* [http://iws.cs.uni-magdeburg.de/%7Emossakow/papers/2015-09-21-DOL-tutorial.pdf DOL tutorial] at FroCoS 2015

==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)] parsing, static analysis and proof management for DOL
* [https://ontohub.org Ontohub] a web-based ontology, model and specification repository engine
* [[emacs mode]] for DOL

==Links==
* [https://github.com/tillmo/DOL DOL development page]
* [http://ontoiop.org OntoIOp page]

DOL

2016-09-19T17:47:24Z

Tillmo: /* Documents */ DOL

=The Distributed Ontology, Model and Specification Language – DOL=

The Distributed Ontology, Model 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==
* [http://www.omg.org/spec/DOL/ 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, 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://www.informatik.uni-bremen.de/~till/papers/womo2013.pdf invited paper about DOL (2013)] overview of DOL syntax, with examples

==Slides==
* [http://esslli2016.unibz.it/?page_id=171 DOL tutorial] at ESSLLI 2016
* [http://iws.cs.uni-magdeburg.de/%7Emossakow/papers/2015-09-21-DOL-tutorial.pdf DOL tutorial] at FroCoS 2015

==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)] parsing, static analysis and proof management for DOL
* [https://ontohub.org Ontohub] a web-based ontology, model and specification repository engine
* [[emacs mode]] for DOL

==Links==
* [https://github.com/tillmo/DOL DOL development page]
* [http://ontoiop.org OntoIOp page]

Main Page

2016-08-28T11:30:23Z

Tillmo: FOIS competition

{| id="mp-topbanner" style="width:100%; background:#f9f9f9; margin:1.2em 0 6px 0; border:1px solid #ddd;"
| style="width:61%; color:#000;" |

{| style="width:280px; border:none; background:none;"
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |
<div style="font-size:162%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[Ontohub]],</div>
<div style="top:+0.2em; font-size:95%;">the free and open ontology repository engine.</div>
|}

| style="width:13%; font-size:95%;" |
* [[FAQ]]
* [[Glossary]]
* [[Ontohub]]
| style="width:13%; font-size:95%;" |
* [[Ontology|Ontologies]]
* [[Repository|Repositories]]
* [[Permission]]s
| style="width:13%; font-size:95%;" |
* [[Mapping|Mappings]]
* [[Logic]]s
* [[Team]]s
| style="width:13%; font-size:95%;" |
* [[DOL]]
* [[Ontohub team]]
| style="width:13%; font-size:95%;" |
* [[How to test Ontohub|Testing Ontohub]]
* [[Tutorial]]
|}

[http://ontohub.org/ Ontohub] is an [http://oor.net open ontology repository] which supports organisation, collection, retrieval, development, mapping, translation, and evaluation of a wide array of [[ontology|ontologies]] formalised in diverse [[logic|languages]].

Ontohub has provided technological infrastructure for the [http://www.iaoa.org/fois/2014.html FOIS 2014] and [http://www.iaoa.org/fois2016/index.php?n=Main.SatelliteActivities#competition FOIS 2016] Ontology Competitions.

This wiki entrance aims at providing instructions and support to the Ontohub users. See also [[FAQ]].

Key features of Ontohub:
*OntoHub is an '''ontology [[repository]]''' that supports the ontology development and maintenance along the whole ontology lifecycle.
* publishing & retrieval: OntoHub is a free ontology repository that allows you to '''publish''' your [[ontology]] and '''find''' existing ontologies that are relevant for your work.
*development: OntoHub supports '''ontology development'''. Since OntoHub is based on '''[[Git]] [[repository|repositories]]''', OntoHub supports ontology versioning, branching, and merging.
* evaluation: OntoHub is designed to be a platform for ontology evaluation tools. The goal is to support all kinds of evaluation; including syntactic validation, best-practices evaluation, and regression testing.
* multilingual: OntoHub supports a wide '''variety of languages and [[logic]]s'''. The same ontology may exist in more than one language. OntoHub supports the automatic translation between languages.
*open: OntoHub is based on '''[[Ontohub|open source software]]'''.

==Attention: use latest Protégé version==
Since Ontohub uses HTTP redirects, you need to use the latest Protégé version in order to work with Ontohub. The same holds for the OWL API.

Main Page

2016-08-28T08:37:35Z

Tillmo: oor.net

{| id="mp-topbanner" style="width:100%; background:#f9f9f9; margin:1.2em 0 6px 0; border:1px solid #ddd;"
| style="width:61%; color:#000;" |

{| style="width:280px; border:none; background:none;"
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |
<div style="font-size:162%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[Ontohub]],</div>
<div style="top:+0.2em; font-size:95%;">the free and open ontology repository engine.</div>
|}

| style="width:13%; font-size:95%;" |
* [[FAQ]]
* [[Glossary]]
* [[Ontohub]]
| style="width:13%; font-size:95%;" |
* [[Ontology|Ontologies]]
* [[Repository|Repositories]]
* [[Permission]]s
| style="width:13%; font-size:95%;" |
* [[Mapping|Mappings]]
* [[Logic]]s
* [[Team]]s
| style="width:13%; font-size:95%;" |
* [[DOL]]
* [[Ontohub team]]
| style="width:13%; font-size:95%;" |
* [[How to test Ontohub|Testing Ontohub]]
* [[Tutorial]]
|}

[http://ontohub.org/ Ontohub] is an [http://oor.net open ontology repository] which supports organisation, collection, retrieval, development, mapping, translation, and evaluation of a wide array of [[ontology|ontologies]] formalised in diverse [[logic|languages]].

The [[Ontohub team]] is looking forward to providing technological infrastructure for the forthcoming [http://fois2014.inf.ufes.br/p/home.html FOIS 2014 Ontology Competition]. Accordingly, several new features are going to be launched on the [http://ontohub.org/ Ontohub] soon.

This wiki entrance aims at providing instructions and support to the Ontohub users. See also [[FAQ]].

Key features of Ontohub:
*OntoHub is an '''ontology [[repository]]''' that supports the ontology development and maintenance along the whole ontology lifecycle.
* publishing & retrieval: OntoHub is a free ontology repository that allows you to '''publish''' your [[ontology]] and '''find''' existing ontologies that are relevant for your work.
*development: OntoHub supports '''ontology development'''. Since OntoHub is based on '''[[Git]] [[repository|repositories]]''', OntoHub supports ontology versioning, branching, and merging.
* evaluation: OntoHub is designed to be a platform for ontology evaluation tools. The goal is to support all kinds of evaluation; including syntactic validation, best-practices evaluation, and regression testing.
* multilingual: OntoHub supports a wide '''variety of languages and [[logic]]s'''. The same ontology may exist in more than one language. OntoHub supports the automatic translation between languages.
*open: OntoHub is based on '''[[Ontohub|open source software]]'''.

==Attention: use latest Protégé version==
Since Ontohub uses HTTP redirects, you need to use the latest Protégé version in order to work with Ontohub. The same holds for the OWL API.

File:Architecture-3.svg

2016-08-27T18:32:40Z

Tillmo: new Ontohub architecture

new Ontohub architecture

DOL

2016-08-26T13:28:22Z

Tillmo: /* Slides */ ESSLLI 2016

=The Distributed Ontology, Model and Specification Language – DOL=

The Distributed Ontology, Model 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==
* [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, 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://www.informatik.uni-bremen.de/~till/papers/womo2013.pdf invited paper about DOL (2013)] overview of DOL syntax, with examples

==Slides==
* [http://esslli2016.unibz.it/?page_id=171 DOL tutorial] at ESSLLI 2016
* [http://iws.cs.uni-magdeburg.de/%7Emossakow/papers/2015-09-21-DOL-tutorial.pdf DOL tutorial] at FroCoS 2015

==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)] parsing, static analysis and proof management for DOL
* [https://ontohub.org Ontohub] a web-based ontology, model and specification repository engine
* [[emacs mode]] for DOL

==Links==
* [https://github.com/tillmo/DOL DOL development page]
* [http://ontoiop.org OntoIOp page]

Emacs mode

2016-08-16T06:36:10Z

Tillmo: running Hets

* Download [https://raw.githubusercontent.com/spechub/Hets/f93990c928a2b0b8f970b86d0fbd18d604147af6/utils/el/dol-mode.el dol-mode.el] and [https://raw.githubusercontent.com/spechub/Hets/f93990c928a2b0b8f970b86d0fbd18d604147af6/utils/el/dol.el dol.el] and save them locally (e.g. in .emacs.d, or elsehwere)
* in the .emacs file in your home folder, add
(load-file "<path-to>/dol.el")
* For running Hets on a DOL file, type C-c C-r
* For running Hets on a DOL file and starting the GUI, type C-c C-c

Emacs mode

2016-08-16T06:18:05Z

Tillmo: instructions for emacs mode

DOL

2016-08-16T06:10:40Z

Tillmo: /* DOL Tools */ emacs mode

=The Distributed Ontology, Model and Specification Language – DOL=

The Distributed Ontology, Model 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==
* [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, 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://www.informatik.uni-bremen.de/~till/papers/womo2013.pdf invited paper about DOL (2013)] overview of DOL syntax, with examples

==Slides==
* [http://iws.cs.uni-magdeburg.de/%7Emossakow/papers/2015-09-21-DOL-tutorial.pdf DOL tutorial] at FroCoS 2015

==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)] parsing, static analysis and proof management for DOL
* [https://ontohub.org Ontohub] a web-based ontology, model and specification repository engine
* [[emacs mode]] for DOL

==Links==
* [https://github.com/tillmo/DOL DOL development page]
* [http://ontoiop.org OntoIOp page]

Main Page

2016-08-02T10:22:15Z

Tillmo: use the latest Protégé version

{| id="mp-topbanner" style="width:100%; background:#f9f9f9; margin:1.2em 0 6px 0; border:1px solid #ddd;"
| style="width:61%; color:#000;" |

{| style="width:280px; border:none; background:none;"
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |
<div style="font-size:162%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[Ontohub]],</div>
<div style="top:+0.2em; font-size:95%;">the free and open ontology repository engine.</div>
|}

| style="width:13%; font-size:95%;" |
* [[FAQ]]
* [[Glossary]]
* [[Ontohub]]
| style="width:13%; font-size:95%;" |
* [[Ontology|Ontologies]]
* [[Repository|Repositories]]
* [[Permission]]s
| style="width:13%; font-size:95%;" |
* [[Mapping|Mappings]]
* [[Logic]]s
* [[Team]]s
| style="width:13%; font-size:95%;" |
* [[DOL]]
* [[Ontohub team]]
| style="width:13%; font-size:95%;" |
* [[How to test Ontohub|Testing Ontohub]]
* [[Tutorial]]
|}

[http://ontohub.org/ Ontohub] is an [http://ontolog.cim3.net/cgi-bin/wiki.pl?OpenOntologyRepository#nid3652 open ontology repository] which supports organisation, collection, retrieval, development, mapping, translation, and evaluation of a wide array of [[ontology|ontologies]] formalised in diverse [[logic|languages]].

The [[Ontohub team]] is looking forward to providing technological infrastructure for the forthcoming [http://fois2014.inf.ufes.br/p/home.html FOIS 2014 Ontology Competition]. Accordingly, several new features are going to be launched on the [http://ontohub.org/ Ontohub] soon.

This wiki entrance aims at providing instructions and support to the Ontohub users. See also [[FAQ]].

Key features of Ontohub:
*OntoHub is an '''ontology [[repository]]''' that supports the ontology development and maintenance along the whole ontology lifecycle.
* publishing & retrieval: OntoHub is a free ontology repository that allows you to '''publish''' your [[ontology]] and '''find''' existing ontologies that are relevant for your work.
*development: OntoHub supports '''ontology development'''. Since OntoHub is based on '''[[Git]] [[repository|repositories]]''', OntoHub supports ontology versioning, branching, and merging.
* evaluation: OntoHub is designed to be a platform for ontology evaluation tools. The goal is to support all kinds of evaluation; including syntactic validation, best-practices evaluation, and regression testing.
* multilingual: OntoHub supports a wide '''variety of languages and [[logic]]s'''. The same ontology may exist in more than one language. OntoHub supports the automatic translation between languages.
*open: OntoHub is based on '''[[Ontohub|open source software]]'''.

==Attention: use latest Protégé version==
Since Ontohub uses HTTP redirects, you need to use the latest Protégé version in order to work with Ontohub. The same holds for the OWL API.

Ontohub team

2016-05-08T13:17:21Z

Tillmo: /* Implementation */ Sascha -> Tom

==Project Leader==

* [http://iws.cs.uni-magdeburg.de/~mossakow/ Till Mossakowski]

==Ontological background==

* [http://www.informatik.uni-bremen.de/~okutz/ Oliver Kutz]
* [http://iws.cs.uni-magdeburg.de/~fneuhaus Fabian Neuhaus]
* [http://iws.cs.uni-magdeburg.de/~codescu/ Mihai Codescu]
* [https://sites.google.com/site/aleksandrasojic/ Aleksandra Sojic]
* [http://www.cs.bham.ac.uk/~langec/ Christoph Lange]

==Implementation==
* Eileen Bolloff
* Tom Gehrke
* Eugen Kuksa

====Former members of the programming team====
* Hardik Balar
* Ingo Becker
* Christian Clausen
* Sascha Graef
* Timo Kohorst
* Tim Reddehase
* Daniel Vale

==Consulting Ruby on Rails==

* Julian Kornberger (Digineo complex web solutions, http://www.digineo.de/)
* Henning Müller (dto.)

==Source code (Affero GNU Pulic License)==
https://github.com/ontohub/ontohub/

DOL

2016-04-29T20:51:55Z

Tillmo: /* Slides */

=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==
* [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, 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://www.informatik.uni-bremen.de/~till/papers/womo2013.pdf invited paper about DOL (2013)] overview of DOL syntax, with examples

==Slides==
* [http://iws.cs.uni-magdeburg.de/%7Emossakow/papers/2015-09-21-DOL-tutorial.pdf DOL tutorial] at FroCoS 2015

==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)] parsing, static analysis and proof management for DOL
* [https://ontohub.org Ontohub] a web-based ontology, model and specification repository engine

==Links==
* [https://github.com/tillmo/DOL DOL development page]
* [http://ontoiop.org OntoIOp page]

DOL

2016-04-29T20:44:09Z

Tillmo: /* Documents */

=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==
* [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, 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://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)] parsing, static analysis and proof management for DOL
* [https://ontohub.org Ontohub] a web-based ontology, model and specification repository engine

==Links==
* [https://github.com/tillmo/DOL DOL development page]
* [http://ontoiop.org OntoIOp page]

DOL

2016-04-29T20:40:44Z

Tillmo: /* DOL Tools */

=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==
* [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, with examples
* [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)] parsing, static analysis and proof management for DOL
* [https://ontohub.org Ontohub] a web-based ontology, model and specification repository engine

==Links==
* [https://github.com/tillmo/DOL DOL development page]
* [http://ontoiop.org OntoIOp page]

DOL

2016-04-29T20:39:31Z

Tillmo: examples, tools

=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==
* [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, with examples
* [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==
* [https://github.com/tillmo/DOL DOL development page]
* [http://ontoiop.org OntoIOp page]

DOL

2016-04-29T20:36:04Z

Tillmo: /* Documents */

=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 [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.

==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
* [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 invited paper about DOL (2013)]

==Links==
* [https://github.com/tillmo/DOL DOL development page]
* [http://ontoiop.org OntoIOp page]

DOL

2016-04-29T20:31:00Z

Tillmo: papers; updated

=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 [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.

==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==
* [https://github.com/tillmo/DOL DOL development page]
* [http://ontoiop.org OntoIOp page]

Main Page

2016-03-15T18:26:02Z

Tillmo: Tutorial

{| id="mp-topbanner" style="width:100%; background:#f9f9f9; margin:1.2em 0 6px 0; border:1px solid #ddd;"
| style="width:61%; color:#000;" |

{| style="width:280px; border:none; background:none;"
| style="width:280px; text-align:center; white-space:nowrap; color:#000;" |
<div style="font-size:162%; border:none; margin:0; padding:.1em; color:#000;">Welcome to [[Ontohub]],</div>
<div style="top:+0.2em; font-size:95%;">the free and open ontology repository engine.</div>
|}

| style="width:13%; font-size:95%;" |
* [[FAQ]]
* [[Glossary]]
* [[Ontohub]]
| style="width:13%; font-size:95%;" |
* [[Ontology|Ontologies]]
* [[Repository|Repositories]]
* [[Permission]]s
| style="width:13%; font-size:95%;" |
* [[Mapping|Mappings]]
* [[Logic]]s
* [[Team]]s
| style="width:13%; font-size:95%;" |
* [[DOL]]
* [[Ontohub team]]
| style="width:13%; font-size:95%;" |
* [[How to test Ontohub|Testing Ontohub]]
* [[Tutorial]]
|}

[http://ontohub.org/ Ontohub] is an [http://ontolog.cim3.net/cgi-bin/wiki.pl?OpenOntologyRepository#nid3652 open ontology repository] which supports organisation, collection, retrieval, development, mapping, translation, and evaluation of a wide array of [[ontology|ontologies]] formalised in diverse [[logic|languages]].

The [[Ontohub team]] is looking forward to providing technological infrastructure for the forthcoming [http://fois2014.inf.ufes.br/p/home.html FOIS 2014 Ontology Competition]. Accordingly, several new features are going to be launched on the [http://ontohub.org/ Ontohub] soon.

This wiki entrance aims at providing instructions and support to the Ontohub users. See also [[FAQ]].

Key features of Ontohub:
*OntoHub is an '''ontology [[repository]]''' that supports the ontology development and maintenance along the whole ontology lifecycle.
* publishing & retrieval: OntoHub is a free ontology repository that allows you to '''publish''' your [[ontology]] and '''find''' existing ontologies that are relevant for your work.
*development: OntoHub supports '''ontology development'''. Since OntoHub is based on '''[[Git]] [[repository|repositories]]''', OntoHub supports ontology versioning, branching, and merging.
* evaluation: OntoHub is designed to be a platform for ontology evaluation tools. The goal is to support all kinds of evaluation; including syntactic validation, best-practices evaluation, and regression testing.
* multilingual: OntoHub supports a wide '''variety of languages and [[logic]]s'''. The same ontology may exist in more than one language. OntoHub supports the automatic translation between languages.
*open: OntoHub is based on '''[[Ontohub|open source software]]'''.

Ontohub team

2016-03-07T09:59:46Z

Tillmo: Tim Reddehase

==Project Leader==

* [http://iws.cs.uni-magdeburg.de/~mossakow/ Till Mossakowski]

==Ontological background==

* [http://www.informatik.uni-bremen.de/~okutz/ Oliver Kutz]
* [http://iws.cs.uni-magdeburg.de/~fneuhaus Fabian Neuhaus]
* [http://iws.cs.uni-magdeburg.de/~codescu/ Mihai Codescu]
* [https://sites.google.com/site/aleksandrasojic/ Aleksandra Sojic]
* [http://www.cs.bham.ac.uk/~langec/ Christoph Lange]

==Implementation==
* Eileen Bolloff
* Eugen Kuksa
* Sascha Graef

====Former members of the programming team====
* Hardik Balar
* Ingo Becker
* Christian Clausen
* Timo Kohorst
* Tim Reddehase
* Daniel Vale

==Consulting Ruby on Rails==

* Julian Kornberger (Digineo complex web solutions, http://www.digineo.de/)
* Henning Müller (dto.)

==Source code (Affero GNU Pulic License)==
https://github.com/ontohub/ontohub/

User:Mipreuss2

2015-09-08T13:04:33Z

Tillmo: Creating user page for new user.

Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua. At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet.

User talk:Mipreuss2

2015-09-08T13:04:33Z

Tillmo: Welcome!

'''Welcome to ''Ontohub''!'''
We hope you will contribute much and well.
You will probably want to read the [[Help:Contents|help pages]].
Again, welcome and have fun! [[User:Tillmo|Tillmo]] ([[User talk:Tillmo|talk]]) 13:04, 8 September 2015 (UTC)

User:Mipreuss

2015-09-08T13:04:12Z

Tillmo: Creating user page for new user.

User talk:Mipreuss

2015-09-08T13:04:12Z

Tillmo: Welcome!

User:Eugenk

2015-09-07T14:23:37Z

Tillmo: Creating user page for new user.

Yar Pirate Ipsum

Prow scuttle parrel provost Sail ho shrouds spirits boom mizzenmast yardarm. Pinnace holystone mizzenmast quarter crow's nest nipperkin grog yardarm hempen halter furl. Swab barque interloper chantey doubloon starboard grog black jack gangway rutters.

Deadlights jack lad schooner scallywag dance the hempen jig carouser broadside cable strike colors. Bring a spring upon her cable holystone blow the man down spanker Shiver me timbers to go on account lookout wherry doubloon chase. Belay yo-ho-ho keelhaul squiffy black spot yardarm spyglass sheet transom heave to.

Trysail Sail ho Corsair red ensign hulk smartly boom jib rum gangway. Case shot Shiver me timbers gangplank crack Jennys tea cup ballast Blimey lee snow crow's nest rutters. Fluke jib scourge of the seven seas boatswain schooner gaff booty Jack Tar transom spirits.

User talk:Eugenk

2015-09-07T14:23:37Z

Tillmo: Welcome!

User:Ebolloff

2015-08-25T07:07:38Z

Tillmo: Creating user page for new user.

Hey, this wiki told me to write a biography which should be at least fifty words long, so I'm trying to write so much that I can create an account. I'm a ontohub developer and would like to write a wiki page which describes, how a user can test ontohub. Now there should be enoug words.

User talk:Ebolloff

2015-08-25T07:07:38Z

Tillmo: Welcome!

User:AdrianGroza

2015-08-25T07:07:21Z

Tillmo: Creating user page for new user.

Adrian Groza is currently Assoc. Prof. at Department of Computer Science, Technical University of Cluj-Napoca, Romania.
He received his Ph.D. from the same university in 2008.
He is member of the Intelligent Systems Group (http://cs-gw.utcluj.ro/~isgroup).
His research interests include knowledge representation, ontology engineering, argumentative agents and dispute resolution.
He organises the a local ontology building competition (BOC) at Technical University of Cluj-Napoca.