New pages
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 09:03, 21 June 2018 Atom (hist) [189 bytes] Tillmo (talk | contribs) (initial page)
- 20:18, 4 May 2017 Hets (hist) [385 bytes] Tillmo (talk | contribs) (start)
- 20:06, 4 May 2017 Axiom names (hist) [952 bytes] Tillmo (talk | contribs) (started page)
- 06:18, 16 August 2016 Emacs mode (hist) [499 bytes] Tillmo (talk | contribs) (instructions for emacs mode)
- 21:16, 15 March 2016 Tutorial (hist) [356 bytes] Eugenk (talk | contribs) (Created page with "Here we collect some tutorials for the Ontohub usage. [https://www.youtube.com/watch?v=wNFmHHcbnDI Basic usage of Ontohub]")
- 12:37, 28 September 2015 How to test Ontohub (hist) [3,618 bytes] E.bolloff (talk | contribs) (Add first text to how-to-test-ontohub page)
- 17:55, 29 March 2014 Ontohub team (hist) [847 bytes] Okutz (talk | contribs) (Created page with "==Project Leader== * [http://iws.cs.uni-magdeburg.de/~mossakow/ Till Mossakowski] ==Ontological background== * [http://www.informatik.uni-bremen.de/~okutz/ Oliver Kutz] * [...")
- 16:20, 27 February 2014 SpacePortal (hist) [1,149 bytes] Asojic (talk | contribs) (Created page with "SpacePortal is a specialised ontology repository which supports the collection and re-use of ontologies that formally represent the large array of the space-related domains. T...")
- 10:27, 11 February 2014 Ontohub (hist) [3,730 bytes] Tillmo (talk | contribs) (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...")
- 10:13, 11 February 2014 Glossary (hist) [2,672 bytes] Tillmo (talk | contribs) (Created page with "{|class="wikitable sortable" ! data-sort-type="Term" | Term!!Description |- |Logical theory||set of expressions (like non-logical symbols, sentences and structuring elements) ...")
- 09:46, 11 February 2014 User (hist) [485 bytes] Tillmo (talk | contribs) (Created page with "If you want to use certain features of Ontohub, like creating repositories of uploading ontologies, you have to register as a '''user'''. Registrat...")
- 09:43, 11 February 2014 Theorem (hist) [697 bytes] Tillmo (talk | contribs) (Created page with "A '''theorem''' is a sentence that is postulated to logically follow from the axioms of an ontology. Theorems help documenting the (intended or unintended) consequ...")
- 09:41, 11 February 2014 Axiom (hist) [194 bytes] Tillmo (talk | contribs) (Created page with "An '''axiom''' is a sentence of an ontology that is postulated to be true. It is used to define the ontology by constraining its models, i.e. its possible interpretati...")
- 09:30, 11 February 2014 Symbol (hist) [473 bytes] Tillmo (talk | contribs) (Created page with "In Ontohub, an ontology consists of '''symbols''' and sentences. The possible kinds of symbols depend on the logic: *OWL: classes, individuals, object properties, ...")
- 22:21, 10 February 2014 Single ontology (hist) [88 bytes] Tillmo (talk | contribs) (Created page with "A '''single ontology''' is just an ontology, in contrast to an ontology library.")
- 22:18, 10 February 2014 Ontology library (hist) [606 bytes] Tillmo (talk | contribs) (Created page with "An '''ontology library''' (currently also called ''distributed ontology'' on Ontohub) is a collection of ontologies and mappings (these are called the '''chil...")
- 22:14, 10 February 2014 Mirror (hist) [270 bytes] Tillmo (talk | contribs) (Created page with "Normally, repositories are hosted at Ontohub. However, it is also possible to '''mirror''' an existing git or subversion repository, which is copied once a day to Ontohub....")
- 21:47, 10 February 2014 Category (hist) [2,031 bytes] Tillmo (talk | contribs) (Created page with "Ontologies can be categorised. Ontohub's category system is maintained as an OWL ontology in Ontohub itself, see [http://ontohub.org/meta]. The backbone of Ontohub categories...") originally created as "Categories"
- 21:36, 10 February 2014 Add ssh keys (hist) [21 bytes] Tillmo (talk | contribs) (Redirected page to Ssh keys)
- 21:35, 10 February 2014 Team details (hist) [18 bytes] Tillmo (talk | contribs) (Redirected page to Teams)