Difference between revisions of "Tutorial"

From Ontohub
Jump to: navigation, search
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=DmeitP9tq0o Basic usage of Ontohub]
+
* [https://youtu.be/sF9qwwSL5QE 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
 
*** Uploading an ontology file
 
*** Uploading an ontology file
 
*** Changing an ontology file via the web interface
 
*** Changing an ontology file via the web interface
 +
*** Visualizing ontology contents
 
*** Proving Theorems in an ontology
 
*** Proving Theorems in an ontology

Revision as of 12:20, 24 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
      • Visualizing ontology contents
      • Proving Theorems in an ontology