Tutorial

From Ontohub
Revision as of 08:10, 31 May 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
      • Visualizing ontology contents
      • Proving Theorems in an ontology
Retrieved from "http://wiki.dol-omg.org/index.php?title=Tutorial&oldid=263"