New pages
(newest | oldest) View (newer 50 | older 50) (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)
- 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:29, 10 February 2014 List teams (hist) [18 bytes] Tillmo (talk | contribs) (Redirected page to Teams)
- 21:27, 10 February 2014 See link details (hist) [21 bytes] Tillmo (talk | contribs) (Redirected page to Mappings)
- 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"
- 21:20, 10 February 2014 List sentences (hist) [22 bytes] Tillmo (talk | contribs) (Redirected page to Sentences)
- 21:19, 10 February 2014 Mapping (hist) [1,317 bytes] Tillmo (talk | contribs) (Created page with "A mapping relates two ontologies: a source and a target ontology. It consists of a set of correspondences, where each correspondence relates a symbol of the s...") originally created as "Mappings"
- 21:11, 10 February 2014 List links (hist) [21 bytes] Tillmo (talk | contribs) (Redirected page to Mappings)
- 21:06, 10 February 2014 Graph (hist) [618 bytes] Tillmo (talk | contribs) (Created page with "The graph for an ontology or ontology library shows ontologies as nodes and mappings as edges. Typically, the graph shows all the imported ontologies, but it ...") originally created as "Graphs"
- 21:01, 10 February 2014 Show graph (hist) [19 bytes] Tillmo (talk | contribs) (Redirected page to Graphs)
- 21:00, 10 February 2014 Ontology versions (hist) [345 bytes] Tillmo (talk | contribs) (Created page with "An ontology has different versions, corresponding to the different version of the underlying file, identified by its git commit id. A specific version...")
- 20:55, 10 February 2014 List ontology version (hist) [31 bytes] Tillmo (talk | contribs) (Redirected page to Ontology versions)
- 20:53, 10 February 2014 List formality levels (hist) [22 bytes] Tillmo (talk | contribs) (Redirected page to Metadata)
- 20:53, 10 February 2014 Category based search (hist) [22 bytes] Tillmo (talk | contribs) (Redirected page to Metadata)
- 20:53, 10 February 2014 List projects (hist) [22 bytes] Tillmo (talk | contribs) (Redirected page to Metadata)
- 20:52, 10 February 2014 List tasks (hist) [22 bytes] Tillmo (talk | contribs) (Redirected page to Metadata)
- 20:50, 10 February 2014 List comments (hist) [69 bytes] Tillmo (talk | contribs) (Created page with "You can add comments to ontologies. Comments can be viewed by anyone.")
- 12:30, 7 February 2014 List permissions (hist) [24 bytes] Tillmo (talk | contribs) (Redirected page to Permissions)
- 12:22, 7 February 2014 Permission (hist) [2,076 bytes] Tillmo (talk | contribs) (Created page with "Permissions in Ontohub are given per repository and are inherited to the ontologies of the respective repository. If you are owner of a repository, you c...") originally created as "Permissions"
- 16:37, 3 February 2014 Metadata (hist) [686 bytes] Tillmo (talk | contribs) (Created page with "Each ontology can be associated with metadata: * '''projects''' that use the ontology. You can add a new project by specifying its name, URL, institution and contact person, o...")
- 16:31, 3 February 2014 List license models (hist) [22 bytes] Tillmo (talk | contribs) (Redirected page to Metadata)
- 16:30, 3 February 2014 Ontology (hist) [1,428 bytes] Tillmo (talk | contribs) (Created page with "In Ontohub, an ontology consists of a set of symbols and a set of sentences: * A symbol is an atomic expression or syntactic constituent that may be used in axioms. (Moreover,...")
- 16:29, 3 February 2014 List entities (hist) [22 bytes] Tillmo (talk | contribs) (Redirected page to Ontology)
- 13:31, 3 February 2014 Search (hist) [809 bytes] Fabian (talk | contribs) (Created page with "You can search by name of the ontology, names of symbols that occur in ontologies (e.g., "town" or "part_of"), the logic that is the ontology is written in (e.g, "OWL" or "Com...")
- 11:17, 3 February 2014 Version history (hist) [724 bytes] Tillmo (talk | contribs) (Created page with "This page lists the version history of a repository, as maintained by the git version control system. Each git version is marked with a commit id like 175ff44. (Note that...")
- 11:17, 3 February 2014 List repository history (hist) [29 bytes] Tillmo (talk | contribs) (Redirected page to Version history)
- 11:16, 3 February 2014 Linked data (hist) [448 bytes] Tillmo (talk | contribs) (Created page with "Ontohub is linked data compliant. That is, the raw text of an ontology and the HTML page containing a conceptual overview of the ontology can be accessed with one and the ...")
- 11:16, 3 February 2014 File browser (hist) [1,140 bytes] Tillmo (talk | contribs) (Created page with "Each repository consists of a tree of files, structured into folders. This page provides a file browser for the repository. Initially, the root folder of the ...")
- 11:15, 3 February 2014 List files (hist) [26 bytes] Tillmo (talk | contribs) (Redirected page to File browser)
- 11:14, 3 February 2014 URL catalog (hist) [392 bytes] Tillmo (talk | contribs) (Created page with "With an URL catalog, you can substitute URLs by other URLs. This may be necessary if you mirror a repository. For example, the COLORE repository contains a lot of references (...")
- 11:14, 3 February 2014 List iri mappings (hist) [25 bytes] Tillmo (talk | contribs) (Redirected page to URL catalog)
