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:34, 10 February 2014 Team (hist) [549 bytes] Tillmo (talk | contribs) (Created page with "Users can be grouped into teams. The advantage is that permissions (for repositories) can be given to a whole team at once, so there is no need to give permissions...") originally created as "Teams"
- 21:24, 10 February 2014 Sentence (hist) [434 bytes] Tillmo (talk | contribs) (Created page with "A sentence in an ontology expresses some logical information about the ontology, e.g. some subclass relationship, or some constraint on certain symbols. Sentence can b...") originally created as "Sentences"