New pages
- 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"
- 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: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: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: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: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: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,...")
- 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: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: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:13, 3 February 2014 Logic (hist) [1,223 bytes] Tillmo (talk | contribs) (Created page with "Ontohub supports a wide range of formal logical and ontology languages building on the OntoIOp.org project and allows complex inter-theory (concept) mappings and relationships...") originally created as "Logics"
- 11:12, 3 February 2014 Ontology overview (hist) [414 bytes] Tillmo (talk | contribs) (Created page with "Here you get an overview of all hte ontologies in a repository. You can also search the ontologies in the repository. Note that the ontologies (whether all ontologies or ...")
- 05:21, 2 February 2014 Git (hist) [2,118 bytes] Tillmo (talk | contribs) (Created page with "[http://en.wikipedia.org/wiki/Git_%28software%29 git] is a decentralised version control system. Ontohub uses git for maintaining repositories of ontologies. ==Access to ...")
- 05:12, 2 February 2014 SSH key (hist) [815 bytes] Tillmo (talk | contribs) (Created page with "OntoHub uses the Secure Shell (SSH) protocol for secure communication between your local working copy of a repository and the repository on the OntoHub server. If you want to ...") originally created as "SSH keys"
- 04:41, 2 February 2014 Repository details (hist) [574 bytes] Tillmo (talk | contribs) (Created page with "This is the main page of a repository. You can * edit or delete the repository (top-right buttons) * view the ontologies, the files or the history of the repository * add ...")
- 04:31, 2 February 2014 Create or edit repository (hist) [978 bytes] Tillmo (talk | contribs) (Created page with "If you want to create a new repository, you have to enter * name: should be short and unique * descirption: this will be displayed on the main page of the rep...") originally created as "Create repository"
- 04:20, 2 February 2014 Repository (hist) [687 bytes] Tillmo (talk | contribs) (initial page) originally created as "Repositories"
- 23:29, 9 December 2013 Installation (hist) [1,038 bytes] Tillmo (talk | contribs) (start)
- 10:12, 9 December 2013 DOL (hist) [2,431 bytes] Tillmo (talk | contribs) (start)