http://wiki.dol-omg.org/api.php?action=feedcontributions&feedformat=atom&user=Eugenk 2026-05-14T18:56:15Z User contributions MediaWiki 1.27.4 http://wiki.dol-omg.org/index.php?title=Tutorial&diff=263 2016-05-31T08:10:32Z

<p>Eugenk: </p> <hr /> <div>Here we collect some tutorials for the Ontohub usage.<br /> <br /> * [https://youtu.be/VagEH8-67Hs Basic usage of Ontohub]<br /> **This video tutorial describes some basic usage steps of Ontohub:<br /> *** Creating a repository<br /> *** Uploading an ontology file<br /> *** Changing an ontology file via the web interface<br /> *** Visualizing ontology contents<br /> *** Proving Theorems in an ontology</div>

Eugenk http://wiki.dol-omg.org/index.php?title=Tutorial&diff=254 2016-03-24T12:20:10Z

<p>Eugenk: </p> <hr /> <div>Here we collect some tutorials for the Ontohub usage.<br /> <br /> * [https://youtu.be/sF9qwwSL5QE Basic usage of Ontohub]<br /> **This video tutorial describes some basic usage steps of Ontohub:<br /> *** Creating a repository<br /> *** Uploading an ontology file<br /> *** Changing an ontology file via the web interface<br /> *** Visualizing ontology contents<br /> *** Proving Theorems in an ontology</div>

Eugenk http://wiki.dol-omg.org/index.php?title=Tutorial&diff=253 2016-03-17T09:56:29Z

<p>Eugenk: </p> <hr /> <div>Here we collect some tutorials for the Ontohub usage.<br /> <br /> * [https://www.youtube.com/watch?v=DmeitP9tq0o Basic usage of Ontohub]<br /> **This video tutorial describes some basic usage steps of Ontohub:<br /> *** Creating a repository<br /> *** Uploading an ontology file<br /> *** Changing an ontology file via the web interface<br /> *** Proving Theorems in an ontology</div>

Eugenk http://wiki.dol-omg.org/index.php?title=Tutorial&diff=252 2016-03-16T08:57:44Z

<p>Eugenk: </p> <hr /> <div>Here we collect some tutorials for the Ontohub usage.<br /> <br /> * [https://youtu.be/GxDlRIf5Jeo Basic usage of Ontohub]<br /> **This video tutorial describes some basic usage steps of Ontohub:<br /> *** Creating a repository<br /> *** Uploading an ontology file<br /> *** Changing an ontology file via the web interface<br /> *** Proving Theorems in an ontology</div>

Eugenk http://wiki.dol-omg.org/index.php?title=Tutorial&diff=251 2016-03-15T21:20:01Z

<p>Eugenk: </p> <hr /> <div>Here we collect some tutorials for the Ontohub usage.<br /> <br /> * [https://www.youtube.com/watch?v=wNFmHHcbnDI Basic usage of Ontohub]<br /> **This video tutorial describes some basic usage steps of Ontohub:<br /> *** Creating a repository<br /> *** Uploading an ontology file<br /> *** Changing an ontology file via the web interface<br /> *** Proving Theorems in an ontology</div>

Eugenk http://wiki.dol-omg.org/index.php?title=Tutorial&diff=250 2016-03-15T21:16:26Z

<p>Eugenk: Created page with &quot;Here we collect some tutorials for the Ontohub usage. [https://www.youtube.com/watch?v=wNFmHHcbnDI Basic usage of Ontohub]&quot;</p> <hr /> <div>Here we collect some tutorials for the Ontohub usage.<br /> <br /> [https://www.youtube.com/watch?v=wNFmHHcbnDI Basic usage of Ontohub]</div>

Eugenk