Tutorial

From Ontohub

Revision as of 09:56, 17 March 2016 by Eugenk (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to: navigation, search

Here we collect some tutorials for the Ontohub usage.

Basic usage of Ontohub
- This video tutorial describes some basic usage steps of Ontohub:
  - Creating a repository
  - Uploading an ontology file
  - Changing an ontology file via the web interface
  - Proving Theorems in an ontology

Retrieved from "http://wiki.dol-omg.org/index.php?title=Tutorial&oldid=253"