From Ontohub
Revision as of 04:58, 1 November 2013 by Tillmo (talk | contribs) (copied from old wiki)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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

List of formal logical and ontology languages supported by Ontohub
Language Description 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. [1]

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. [1]

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.


  1. 1.0 1.1 Mossakowski, Till, Christoph Lange, and Oliver Kutz. "Three Semantics for the Core of the Distributed Ontology Language." FOIS. 2012. PDF