|
|
| (68 intermediate revisions by 4 users not shown) |
| Line 1: |
Line 1: |
| − | == Ontohub == | + | <!-- BANNER ACROSS TOP OF PAGE --> |
| | + | {| id="mp-topbanner" style="width:100%; background:#f9f9f9; margin:1.2em 0 6px 0; border:1px solid #ddd;" |
| | + | | style="width:61%; color:#000;" | |
| | + | <!-- "WELCOME" --> |
| | + | {| 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> |
| | + | |} |
| | + | <!-- PORTAL LIST ON RIGHT-HAND SIDE --> |
| | + | | 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]] |
| | + | |} |
| | + | |
| | | | |
| − | Ontohub is an [http://ontolog.cim3.net/cgi-bin/wiki.pl?OpenOntologyRepository#nid3652 open ontology repository] which supports organisation, collection, retrieval, mapping, translation, and evaluation of a wide array of ontologies formalised in diverse languages. | + | [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.
| + | 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]]. | | This wiki entrance aims at providing instructions and support to the Ontohub users. See also [[FAQ]]. |
| | | | |
| − | == User Interface ==
| + | Key features of Ontohub: |
| − | | + | *OntoHub is an '''ontology [[repository]]''' that supports the ontology development and maintenance along the whole ontology lifecycle. |
| − | 1.1. '''Start'''
| + | * 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. |
| − | The home page of Ontohub provides access to all ontologies, symbols, logics and ontology mappings stored in this repository. Recently updated repositories and ontologies are listed as well.
| + | * 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]]'''. |
| − | 1.2. '''Sign In'''
| |
| − | | |
| − | The full functionality of Ontohub (ontology editing, creation, mapping, visualisation, and evaluation) is available upon sign in. Every registered Ontohub user can modify and adjust its own version of interface, i.e. specific and highly personalised access to the repository content (see MyOntohub).
| |
| − | | |
| − | ----
| |
| − | 1.3. '''Repositories'''
| |
| − | | |
| − | Besides serving as an ontology repository, Ontohub is also a hub that links other ontology repositories. Ontohub provides a single web interface to access various ontology repositories, either hosted or mirrored on Ontohub. The button ''Repositories'' (on the menu-bar) leads to the page where all repositories are listed and the access to their content provided. In addition, Ontohub allows creation and hosting of new repositories, the function available to all registered Ontohub users. Along the opportunity of creating a new repository, Ontohub users can get advantage of the Ontohub collaborative environment (see also MyOntohub)in order to develop ontologies (and repositories) in the problem (or domain) oriented manner. Thus, Ontohub supports reuse of ontologies stored in other ontology repositories and creation of new repositories that organize ontologies resulting from the activities of a team focused around a particular project or a specific task.
| |
| − | | |
| − | ----
| |
| − | 1.4. '''Ontologies'''
| |
| − | | |
| − | When searching for a particular ontology, you may type the name of the ontology or its acronym to retrieve it. If you do not know the name of the ontology, you may also type the name of the logic by which the ontology is supported and labels of symbols contained in the ontology in order to retrieve all ontologies supported by this logic containing one symbols for each typed-in symbol label.
| |
| − | | |
| − | ----
| |
| − | 1.5. '''Symbols'''
| |
| − | ----
| |
| − | | |
| − | 1.6. '''Logics'''
| |
| − | | |
| − | ----
| |
| − | 1.7. '''Mappings'''
| |
| − | | |
| − | ----
| |
| − | | |
| − | 1.8. '''Icons'''
| |
| − | | |
| − | == Common Tasks ==
| |
| − | | |
| − | 2.1. '''Submitting an ontology'''
| |
| − | ----
| |
| − | | |
| − | 2.2. '''Editing an ontology'''
| |
| − | ----
| |
| − | | |
| − | 2.3. '''Visualising mappings'''
| |
| − | ----
| |
| − | | |
| − | 2.4. '''Evaluating an ontology'''
| |
| − | | |
| − | == Infrastructure ==
| |
| − | | |
| − | 3.1. '''Ontohub Git'''
| |
| − | ----
| |
| − | | |
| − | 3.2. '''My Ontohub'''
| |
| − | ----
| |
| − | | |
| − | 3.3. '''HETS'''
| |
| − | | |
| − | 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.
| |
| − | | |
| − | ----
| |
| − | | |
| − | 3.4. '''DOL'''
| |
| − | | |
| − | '''D'''istributed '''O'''ntology '''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="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>
| |
| − | | |
| − | 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.
| |
| − | | |
| − | ----
| |
| − | | |
| − | 3.5. '''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>
| |
| − | | |
| − | == Glossary ==
| |
| − | {|class="wikitable sortable"
| |
| − | ! data-sort-type="Term" | Term!!Description
| |
| − | |-
| |
| − | |Logical theory||set of expressions (like non-logical symbols, sentences and structuring elements) in a given logical language
| |
| − | |-
| |
| − | |Alignment||flexible, relational link that does not always have a formal, logic-based semantics
| |
| − | |-
| |
| − | |Matching||algorithmic procedure that generates an alignment for two given logical theories
| |
| − | |-
| |
| − | |Logical language||language that is used for writing down logical theories (e.g. formal ontologies, models and specification), equipped with a formal, declarative, logic-based semantics, plus non-logical annotations
| |
| − | |-
| |
| − | |Link||relationship between two logical theories, relating their non-logical symbols
| |
| − | |-
| |
| − | |Language translation||mapping from constructs in the source logical language to their equivalents in the target logical language
| |
| − | |-
| |
| − | |Interpretation||logical link that postulates a relation between two logical theories
| |
| − | |-
| |
| − | |Combination||aggregation of several logical theories along links to a new logical theory where (only) the linked non-logical symbols of the involved logical theeories are identified
| |
| − | |-
| |
| − | |Conservativity||property of an extension of theories, ensuring that the extension does not add new logical context
| |
| − | |-
| |
| − | |Basic logical theory||set of non-logical symbols, sentences, annotations about them, which is used as a building block for a larger logical theory
| |
| − | |-
| |
| − | |Axiom||sentence postulated to be valid (i.e. true in every model), party of a logical theory
| |
| − | |-
| |
| − | |Theorem||sentence that has been proven (in some logical theory) from other axioms and theorem
| |
| − | |-
| |
| − | |Structured logical theory||logical theory that results from other logical theories by import, union, combination, renaming or other structuring operations
| |
| − | |-
| |
| − | |Sentence||term that is either true or false in a given model, i.e. which is assigned a truth value in this model
| |
| − | |- | |
| − | |Satisfaction relation||relation between models and sentences indicating which sentences hold true in the model
| |
| − | |-
| |
| − | |Non-logical symbol||atomic expression or syntactic constituent of a logical theory that requires an interpretation through a model
| |
| − | |-
| |
| − | |Module extraction||activity of obtaining from anlogical theory concrete modules to be used for a particular purpose (e.g. to contain a particular sub-signature of the original logical theory)
| |
| − | |-
| |
| − | |Module||subtheory that conservatively extends to the whole logical theory
| |
| − | |-
| |
| − | |Model||semantic interpretation of all non-logical symbols of a logical theory, satisfying the theory's axioms
| |
| − | |-
| |
| − | |Approximation||reduction of a theory to a less expressive logical language, such that the original theory implies the approximation
| |
| − | |}
| |
| − | | |
| − | | |
| − | | |
| − | ----
| |
| | | | |
| − | == References == | + | ==Attention: use latest Protégé version== |
| − | <references/>
| + | 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. |
This wiki entrance aims at providing instructions and support to the Ontohub users. See also FAQ.
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.
