Difference between revisions of "Tutorial"
From Ontohub
| Line 1: | Line 1: | ||
Here we collect some tutorials for the Ontohub usage. | Here we collect some tutorials for the Ontohub usage. | ||
| − | * [https:// | + | * [https://www.youtube.com/watch?v=DmeitP9tq0o 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 09:56, 17 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
- This video tutorial describes some basic usage steps of Ontohub:
