Difference between revisions of "Tutorial"

From Ontohub
Jump to: navigation, search
 
(2 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
Here we collect some tutorials for the Ontohub usage.
 
Here we collect some tutorials for the Ontohub usage.
  
* [https://youtu.be/GxDlRIf5Jeo Basic usage of Ontohub]
+
* [https://youtu.be/VagEH8-67Hs 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

Latest revision as of 08:10, 31 May 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