Tutorial

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