Tutorial

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

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