Ontohub - User contributions [en]

DOL

2019-03-26T14:02:28Z

Fabian:

=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

==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-26T15:17:12Z

Fabian:

=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://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-26T15:15:21Z

Fabian:

=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/ 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]

Theorem

2016-10-08T19:42:36Z

Fabian: added navigation instruction for theorem

A '''theorem''' is a [[sentence]] that is postulated to logically follow from the [[axiom]]s of an [[ontology]]. Theorems help documenting the (intended or unintended) consequences of an ontology. Theorems can be proved with a [[theorem prover]].

A DOL file may associate an ontology with one ore more theorems. The theorems that are associated with a given ontology can be found as follows:
In a given repository select an ontology. (If it is a heterogenous ontology, you may need to select a child ontology). The theorems are displayed in the "Theorem" subtab under the "Content" tab.
Here is an example [https://ontohub.org/appliedontologyontohubpaper/competencyQuestion//CCbase///theorems].

DOL

2016-05-03T12:33:38Z

Fabian: /* The Distributed Ontology, Modelling and Specification Language – 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==
* [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]

Ontology library

2016-03-01T13:43:56Z

Fabian: added info about URIs of children of ontology library

An '''ontology library''' (currently also called ''distributed ontology'' on Ontohub) is a collection of [[ontology|ontologies]] and [[mappings]] (these are called the '''children''' of the ontology library). Ontology libraries can be written in [[DOL]] and uploaded to Ontohub.

The URI of a child of an ontology library consists of the URI of the library, two slashes, and the name of the ontology. E.g.,
http://ontohub.org/myRepository/myOntologyLibrary//myOntology

Individual ontologies are sometimes called [[single ontology|single ontologies]] in order to distinguish them from ontology libraries.

Search

2014-02-03T13:31:46Z

Fabian: Created page with "You can search by name of the ontology, names of symbols that occur in ontologies (e.g., "town" or "part_of"), the logic that is the ontology is written in (e.g, "OWL" or "Com..."

You can search by name of the ontology, names of symbols that occur in ontologies (e.g., "town" or "part_of"), the logic that is the ontology is written in (e.g, "OWL" or "CommonLogic") or any combination of search strings.

Some tips:
* Capitalization is irrelevant (e.g. "CommonLogic" or "commonlogic" are treated the same)
* Whitespace matters (e.g., "Common Logic" and "CommonLogic" are treated differently)
* If you want to enter more than one search string, then you need to use the <return> key on your keyboard to ensure that they are treated as separate strings . (E.g., if you want to search for an ontology written in OWL which contains the class Spine, you need to first enter "OWL <return> spine <return>". Otherwise, OntoHub will search for an ontology that contains the symbol "OWL spine".)

Repository

2014-02-03T13:06:31Z

Fabian:

(This wiki page is the documentation for [http://ontohub.org/repositories])

Ontohub ist organised in [[git]] repositories, which contain collections of ontologies. Each repository contains ontology files and other files. Git provides a version control, facilities for concurrent editing and merging in case that two people have edited the same document.

This page provides an overview over and links to the public repositories that are currently available.

If you are logged into Onthohub, you can create your own repository by creating the "Create Repository" button.

Access permissions can be given per repository - all ontologies in a repository inherit its permissions.

Ontology overview

2014-02-03T13:05:41Z

Fabian:

(This wiki page is the documentation for [http://ontohub.org/ontologies].)

On this page you get an overview of all the ontologies in a repository. You can also [[search]] the ontologies in the repository under various aspects.

Note that the ontologies (whether all ontologies or the search result is displayed) are paginated. You can
browse through the different pages by clicking on the numbers or the arrows.

Ontology overview

2014-02-03T13:01:54Z

Fabian:

This wiki page is the documentation for [http://ontohub.org/ontologies].

----

Here you get an overview of all the ontologies in a repository. You can also [[search]] the ontologies in the repository under various aspects.

Note that the ontologies (whether all ontologies or the search result is displayed) are paginated. You can
browse through the different pages by clicking on the numbers or the arrows.

Ontology overview

2014-02-03T12:53:49Z

Fabian:

This wiki page is the documentation for [http://ontohub.org/ontologies].

----

Here you get an overview of all the ontologies in a repository. You can also [[search]] the ontologies in the repository.

Note that the ontologies (whether all ontologies or the search result is displayed) are paginated. You can
browse through the different pages by clicking on the numbers or the arrows.

Repository

2014-02-03T12:51:14Z

Fabian:

This wiki page is the documentation for [http://ontohub.org/repositories]

----

Ontohub ist organised in [[git]] repositories, which contain collections of ontologies. Each repository contains ontology files and other files. Git provides a version control, facilities for concurrent editing and merging in case that two people have edited the same document.

This page provides an overview over and links to the public repositories that are currently available.

If you are logged into Onthohub, you can create your own repository by creating the "Create Repository" button.

Access permissions can be given per repository - all ontologies in a repository inherit its permissions.

Git

2014-02-03T10:39:56Z

Fabian: /* Working with a Git repsoitory */

[http://en.wikipedia.org/wiki/Git_%28software%29 Git] is a decentralised version control system. Ontohub uses Git for maintaining [[repositories]] of ontologies.

==Access to a Git repository==
===Access for anyone===
On the main page of a repository, you find a "clone with Git" URL for cloning the repository. At the command line, with
git clone <URL>
you can create a local copy of the repository on your computer. (If you have a graphical interface for Git, enter the URL at the appropriate place for cloning).
Note that you will have only limited access to the repository, depending on its access type (for private repositories, you won't have any access, for public readable repositories, you will have read access, for public readbale and writable repositories, you also will have write access).

===Access with permissions===
If you have the [[permissions]] for the repository and have uploaded an [[SSH keys|SSH key]], you can also use the "clone with git-ssh" URL for cloning. Then you will have access as specified by the permissions (e.g. you could have write access, while with access for anyone, you only would get read access, or you could have read access, while with access for anyone, you would get no access at all).

==Working with a Git repository==
The usual working cycle is:
* make some local changes
* add the new and changed files using "git add <files>". With "git add .", you add everything.
* if needed, remove files using "git rm <files>".
* commit your changes using "git commit" or "git commit -m <message>"
* push your changes to the ontohub server with "git push"
* if someone else has pushed in the meantime, you have to get his/her commits first, using "git pull". This will merge both commits. Note that nothing can get lost, you can always restore your commit if needed.

==Pushing to an empty repository==
In this case, you need to use "git push origin master"

==Read more==
Documentation of Git and a try-out tour can be found at [http://gitscm.com/].

Git

2014-02-03T10:39:29Z

Fabian:

[http://en.wikipedia.org/wiki/Git_%28software%29 Git] is a decentralised version control system. Ontohub uses Git for maintaining [[repositories]] of ontologies.

==Access to a Git repository==
===Access for anyone===
On the main page of a repository, you find a "clone with Git" URL for cloning the repository. At the command line, with
git clone <URL>
you can create a local copy of the repository on your computer. (If you have a graphical interface for Git, enter the URL at the appropriate place for cloning).
Note that you will have only limited access to the repository, depending on its access type (for private repositories, you won't have any access, for public readable repositories, you will have read access, for public readbale and writable repositories, you also will have write access).

===Access with permissions===
If you have the [[permissions]] for the repository and have uploaded an [[SSH keys|SSH key]], you can also use the "clone with git-ssh" URL for cloning. Then you will have access as specified by the permissions (e.g. you could have write access, while with access for anyone, you only would get read access, or you could have read access, while with access for anyone, you would get no access at all).

==Working with a Git repsoitory==
The usual working cycle is:
* make some local changes
* add the new and changed files using "git add <files>". With "git add .", you add everything.
* if needed, remove files using "git rm <files>".
* commit your changes using "git commit" or "git commit -m <message>"
* push your changes to the ontohub server with "git push"
* if someone else has pushed in the meantime, you have to get his/her commits first, using "git pull". This will merge both commits. Note that nothing can get lost, you can always restore your commit if needed.

==Pushing to an empty repository==
In this case, you need to use "git push origin master"

==Read more==
Documentation of Git and a try-out tour can be found at [http://gitscm.com/].

Git

2014-02-03T10:36:57Z

Fabian:

[http://en.wikipedia.org/wiki/Git_%28software%29 Git] is a decentralised version control system. Ontohub uses git for maintaining [[repositories]] of ontologies.

==Access to a Git repository==
===Access for anyone===
On the main page of a repository, you find a "clone with git" URL for cloning the repository. At the command line, with
git clone <URL>
you can create a local copy of the repository on your computer. (If you have a graphical interface for git, enter the URL at the appropriate place for cloning).
Note that you will have only limited access to the repository, depending on its access type (for private repositories, you won't have any access, for public readable repositories, you will have read access, for public readbale and writable repositories, you also will have write access).

===Access with permissions===
If you have the [[permissions]] for the repository and have uploaded an [[SSH keys|SSH key]], you can also use the "clone with git-ssh" URL for cloning. Then you will have access as specified by the permissions (e.g. you could have write access, while with access for anyone, you only would get read access, or you could have read access, while with access for anyone, you would get no access at all).

==Working with a git repsoitory==
The usual working cycle is:
* make some local changes
* add the new and changed files using "git add <files>". With "git add .", you add everything.
* if needed, remove files using "git rm <files>".
* commit your changes using "git commit" or "git commit -m <message>"
* push your changes to the ontohub server with "git push"
* if someone else has pushed in the meantime, you have to get his/her commits first, using "git pull". This will merge both commits. Note that nothing can get lost, you can always restore your commit if needed.

==Pushing to an empty repository==
In this case, you need to use "git push origin master"

==Read more==
Documentation of git and a try-out tour can be found at [http://gitscm.com/].

Git

2014-02-03T10:36:09Z

Fabian: /* Access to a git repository */

[http://en.wikipedia.org/wiki/Git_%28software%29 git] is a decentralised version control system. Ontohub uses git for maintaining [[repositories]] of ontologies.

==Access to a Git repository==
===Access for anyone===
On the main page of a repository, you find a "clone with git" URL for cloning the repository. At the command line, with
git clone <URL>
you can create a local copy of the repository on your computer. (If you have a graphical interface for git, enter the URL at the appropriate place for cloning).
Note that you will have only limited access to the repository, depending on its access type (for private repositories, you won't have any access, for public readable repositories, you will have read access, for public readbale and writable repositories, you also will have write access).

===Access with permissions===
If you have the [[permissions]] for the repository and have uploaded an [[SSH keys|SSH key]], you can also use the "clone with git-ssh" URL for cloning. Then you will have access as specified by the permissions (e.g. you could have write access, while with access for anyone, you only would get read access, or you could have read access, while with access for anyone, you would get no access at all).

==Working with a git repsoitory==
The usual working cycle is:
* make some local changes
* add the new and changed files using "git add <files>". With "git add .", you add everything.
* if needed, remove files using "git rm <files>".
* commit your changes using "git commit" or "git commit -m <message>"
* push your changes to the ontohub server with "git push"
* if someone else has pushed in the meantime, you have to get his/her commits first, using "git pull". This will merge both commits. Note that nothing can get lost, you can always restore your commit if needed.

==Pushing to an empty repository==
In this case, you need to use "git push origin master"

==Read more==
Documentation of git and a try-out tour can be found at [http://gitscm.com/].

Create or edit repository

2014-02-03T10:34:18Z

Fabian:

If you want to '''create''' a new [[repositories|repository]], you have to enter
* name: should be short and unique
* description: this will be displayed on the main page of the repository
* access: default is public read access, while write access can be specified in the [[permissions]]. You can also chose public read and write access, but then anyone can modify or delete files in your repository (this is useful e.g. for sandboxes). For private repositories, both read and write access is regulated by the permissions.
* source address: here, you can specify the URL of an existing [[git]] or [http://en.wikipedia.org/wiki/Apache_Subversion subversion] repository. Then your new repository will become a [[mirror]] of that repository. If you want a completely fresh repository, leave this field empty.

If you want to '''edit''' an existing repository, you can change the first three items. Beware that the repository's permissions are reset if you change its access mode.

Repository

2014-02-03T10:33:20Z

Fabian:

Ontohub ist organised in [[git]] repositories, which contain collections of ontologies. Each repository contains ontology files and other files. Git provides a version control, facilities for concurrent editing and merging in case that two people have edited the same document.

This page provides an overview over and links to the public repositories that are currently available.

If you are logged into Onthohub, you can create your own repository by creating the "Create Repository" button.

Access permissions can be given per repository - all ontologies in a repository inherit its permissions.

Repository

2014-02-03T10:27:51Z

Fabian:

FAQ

2014-01-23T14:01:01Z

Fabian: /* What is a heterogeneous ontology? */

== FAQ about Ontohub ==

The FAQ page is result of an interaction between the Ontohub users and the Ontohub team who is providing technical support to the users by giving accurate and up-to-date information about the Ontohub utilities.
An active contribution and feedback of the Ontohub users is more than welcome!

== What is Ontohub? ==
Ontohub is an open ontology repository which enables communities to share, exchange, and manage their ontologies easily.

As a member of of [http://ontolog.cim3.net/cgi-bin/wiki.pl?OpenOntologyRepository#nid3652 the OOR initiative], Ontohub supports interoperability across distributed ontology repositories.

The Ontohub engine is providing tools for

- organising ontology collections

- ontology retrieval

- ontology management (reuse, editing, creation, formal mapping, evaluation)

Moreover, the Ontohub technology provides a web-based system for

- working with multiple logical formalisms

- management of distributed heterogeneous ontologies

== What are the unique features of Ontohub? ==
Ontohub provides several unique features for searching, evaluating, and managing the repository content.
The heterogeneous nature of Ontohub makes it possible to integrate ontologies written in various ontology languages.

== How to submit an ontology? ==

== How to edit an ontology? ==

== How to evaluate an ontology? ==

== How to manage MyOntohub? ==

== Which logical formalisms (languages) are supported by Ontohub? ==
Ontohub supports a wide range of formal logical and ontology languages building on the OntoIOp.org project and allows complex inter-theory (concept) mappings and relationships with formal semantics.
{| class="wikitable" style="color:green; background-color:#ffffcc;" cellpadding="10"
!colspan="3"|List of formal logical and ontology languages supported by Ontohub
|-
! scope="col"| Language
! scope="col"| Description
! scope="col"| Serialisation
|-
| CASL
|Common Algebraic Specification Language http://purl.net/dol/languages/CASL
|
|-
| Common Logic
| Common Logic (ISO/IEC 24707) http://purl.net/dol/languages/CommonLogic
|
|-
| F-logic
| http://purl.net/dol/languages/F-logic
|
|-
| OBO 1.3
| Open Biomedical Ontologies (OBO) 1.3 http://purl.net/dol/languages/OBO/1.3
|
|-
| OBO 1.4
| Open Biomedical Ontologies (OBO) 1.4 http://purl.net/dol/languages/OBO/1.4
|
|-
| OWL 2 DL
| OWL 2 Web Ontology Language, Description Logic semantics (W3C Recommendation) http://purl.net/dol/languages/OWL2/DL
|
|-
| OWL 2 EL
| OWL 2 Web Ontology Language, EL Profile (W3C Recommendation) http://purl.net/dol/languages/OWL2/EL
|
|-
| OWL 2 Full
| OWL 2 Web Ontology Language, RDF semantics (W3C Recommendation) http://purl.net/dol/languages/OWL2/Full
|
|-
| OWL 2 QL
| OWL 2 Web Ontology Language, QL Profile (W3C Recommendation) http://purl.net/dol/languages/OWL2/QL
|
|-
| OWL 2 RL
| OWL 2 Web Ontology Language, RL Profile (W3C Recommendation) http://purl.net/dol/languages/OWL2/RL
|
|-
| RDF
| Resource Description Framework (W3C Recommendation) http://purl.net/dol/languages/RDF
|
|-
| SATLIB
| http://purl.net/dol/languages/SATLIB
|
|-
| THF0
| http://purl.net/dol/languages/THF0
|
|-
| TPTP
| http://purl.net/dol/languages/TPTP
|
|-
|}

== Why does Ontohub support multiple (onto)logical formalisms? ==
Ontohub supports multiple (onto)logical formalisms in order to admit inclusion and interoperability of ontologies distributed across various repositores. A variety of languages is used for formalising ontologies. Some of these, such as RDF (mostly used for data), OBO and certain UML class diagrams, can be seen more or less as fragments and notational variants of OWL, while others, like F-logic and Common
Logic (CL), clearly go beyond the expressiveness of OWL. <ref name="Mossakowski">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>

In other words, Ontohub respects the existing plurality of formalisms, expressivities and aims, as they are found across diverse scientific communities. While accepting the plurality of formal languages and tools (e.g. CL, OWL, RDF, etc), methodologies and perspectives, Ontohub provides interoperability of domain needs and exchange of knowledge on a formal level. Thus, Ontohub supports linking ontologies across ontology languages, and creating distributed ontologies as sets of basic ontologies and links among them. The links (mappings) in Ontohub have formal semantics, and therefore enable new reasoning and interoperability scenarios between ontologies. <ref name="Mossakowski"/>

== What is a single ontology? ==
A single ontology, also labeled as 'basic' ontology (DOL terminology), is any ontology that is written in a single ontology language and it does not include any other ontology (or ontology module) within its content.

== What is a distributed ontology? ==
A distributed ontology is an ontology which is composed of two or more ontologies (modules). A distributed ontology can be written in a single (homogeneous) or diverse (heterogeneous) ontology languages. The content of a distributed ontology may be distributed across diverse ontology sources and repositories. Ontohub allows storage and management of heterogeneous and distributed ontology content.

== What is a heterogeneous ontology? ==
A heterogeneous ontology is an ontology which is composed of more than one ontology (module) and its content and structure are formalised in more than one ontology language.

== What is and how do I create a public SSH key? ==
OntoHub uses the Secure Shell (SSH) protocol for secure communication between your local working copy of a repository and the repository on the OntoHub server. If you want to use Git to interact with the OntoHub server, you will need to upload your public key to OntoHub. A description of how to generate a public key can be found here:
http://git-scm.com/book/no-nb/Git-on-the-Server-Generating-Your-SSH-Public-Key

== References ==
<references/>