Difference between revisions of "Tutorial"
From Ontohub
(One intermediate revision 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:// | + | * [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
- This video tutorial describes some basic usage steps of Ontohub: