Difference between revisions of "Tutorial"

From Ontohub
Jump to: navigation, search
m
Line 1: Line 1:
 
Here we collect some tutorials for the Ontohub usage.
 
Here we collect some tutorials for the Ontohub usage.
  
* [https://www.youtube.com/watch?v=wNFmHHcbnDI Basic usage of Ontohub]
+
* [https://youtu.be/GxDlRIf5Jeo Basic usage of Ontohub]
 
**This video tutorial describes some basic usage steps of Ontohub:
 
**This video tutorial describes some basic usage steps of Ontohub:
 
*** Creating a repository
 
*** Creating a repository

Revision as of 08:57, 16 March 2016

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