Difference between revisions of "FAQ"

From Ontohub
Jump to: navigation, search
(What is a heterogeneous ontology?)
(some improvements, both content and wiki syntax)
Line 10: Line 10:
  
 
The Ontohub engine is providing tools for
 
The Ontohub engine is providing tools for
 
+
* organising ontology collections
- organising ontology collections
+
* ontology retrieval
 
+
* ontology management (reuse, editing, creation, formal mapping, evaluation)
- ontology retrieval
 
 
 
- ontology management (reuse, editing, creation, formal mapping, evaluation)
 
  
 
Moreover, the Ontohub technology provides a web-based system for
 
Moreover, the Ontohub technology provides a web-based system for
 
+
* working with multiple logical formalisms
- working with multiple logical formalisms
+
* management of distributed heterogeneous ontologies
 
 
- management of distributed heterogeneous ontologies
 
  
 
== What are the unique features of Ontohub? ==
 
== What are the unique features of Ontohub? ==
Line 36: Line 31:
  
 
== Which logical formalisms (languages) are supported by Ontohub? ==
 
== 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.
+
see the list of [[logics]].
{| 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? ==
 
== Why does Ontohub support multiple (onto)logical formalisms? ==
Line 117: Line 48:
 
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.
 
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 ==
 
<references/>
 
<references/>

Revision as of 11:21, 3 February 2014

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?

see the list of logics.

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.


References

  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