Difference between revisions of "Tutorial"
From Ontohub
(Created page with "Here we collect some tutorials for the Ontohub usage. [https://www.youtube.com/watch?v=wNFmHHcbnDI Basic usage of Ontohub]") |
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://www.youtube.com/watch?v=wNFmHHcbnDI 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 | ||
Revision as of 21:20, 15 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:
