Difference between revisions of "Ontohub"
(Created page with "==Ontohub web portal== Ontohub is available at [http://ontohub.org http://ontohub.org]. Read more about the [http://about.ontohub.org/ Ontohub team]. A test version with lates...") |
(→LoLa Ontology: removed dead link) |
||
(7 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
==Ontohub web portal== | ==Ontohub web portal== | ||
− | Ontohub is available at [http://ontohub.org http://ontohub.org] | + | Ontohub is available at [http://ontohub.org http://ontohub.org]. |
==Ontohub architecture== | ==Ontohub architecture== | ||
Line 9: | Line 9: | ||
==HETS== | ==HETS== | ||
− | The parsing and inference backend of Ontohub is the [ | + | 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. | 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== | ==DOL== | ||
Line 24: | Line 22: | ||
* to re-use ontology tools like theorem provers and module extractors along translations between formalisms. | * to re-use ontology tools like theorem provers and module extractors along translations between formalisms. | ||
− | DOL | + | 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/> |
Latest revision as of 08:39, 4 May 2020
Ontohub web portal
Ontohub is available at http://ontohub.org.
Ontohub architecture
The Ontohub infrastructure is powered by the open-source web framework Ruby on Rails for building dynamic web applications. The source code is available at 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 Heterogeneous Tool Set. you can find a detailed architecture of Ontohub on page 8 of Ontohub preprint paper [1]
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 Distributed Ontology, Modelling and Specification Language (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. [2]
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) Logics and Languages. 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. [3]
References
- ↑ Mossakowski, Till, Oliver Kutz, and Mihai Codescu. "Ontohub - a repository engine for heterogeneous ontologies and alignments." preprint. PDF
- ↑ Mossakowski, Till, Christoph Lange, and Oliver Kutz. "Three Semantics for the Core of the Distributed Ontology Language." FOIS. 2012. PDF
- ↑ Lange, Christoph, Till Mossakowski, and Oliver Kutz. "LoLa: A Modular Ontology of Logics, Languages, and Translations." Workshop on Modular Ontologies (WoMO) 2012. 2012. PDF