Różnice

Różnice między wybraną wersją a wersją aktualną.

Odnośnik do tego porównania

Both sides previous revision Poprzednia wersja
Nowa wersja
Poprzednia wersja
pl:dydaktyka:semweb:lab-onto-reasoning [2018/09/14 15:46]
kkutt [Introduction]
pl:dydaktyka:semweb:lab-onto-reasoning [2019/06/27 15:50] (aktualna)
Linia 1: Linia 1:
 ====== Reasoning with Ontologies ====== ====== Reasoning with Ontologies ======
  
-^  Last verification:​ | 20171105 ​|+^  Last verification:​ | 20180914 ​|
 ^  Tools required for this lab: | [[http://​protege.stanford.edu/​products.php#​desktop-protege|Protégé Desktop 5.0]] | ^  Tools required for this lab: | [[http://​protege.stanford.edu/​products.php#​desktop-protege|Protégé Desktop 5.0]] |
-^  ::: | [[http://​semanticweb.org/​wiki/​Pellet|Pellet 2.3.1]] ({{http://home.agh.edu.pl/~kkutt/​semweb/​pellet-2.3.1.zip|pellet-2.3.1.zip}}) |+^  ::: | [[http://​semanticweb.org/​wiki/​Pellet|Pellet 2.3.1]] ({{http://krzysztof.kutt.pl/didactics/​semweb/​pellet-2.3.1.zip|pellet-2.3.1.zip}}) |
  
  
Linia 65: Linia 65:
     - Global consistency of a knowledge base (Is the knowledge base meaningful?​)     - Global consistency of a knowledge base (Is the knowledge base meaningful?​)
  
-  - Download the {{http://home.agh.edu.pl/~kkutt/​semweb/​people-prep.owl|pre-prepared ontology}} and load it in Protege (**NB:** the ontology classes and those on screenshots may differ a little).+  - Download the {{http://krzysztof.kutt.pl/didactics/​semweb/​people-prep.owl|pre-prepared ontology}} and load it in Protege (**NB:** the ontology classes and those on screenshots may differ a little).
   - Model the following ontology axioms in Protege:<​code>​   - Model the following ontology axioms in Protege:<​code>​
 Individual: Daily_Mirror Individual: Daily_Mirror
Linia 103: Linia 103:
 DL reasoners may be integrated with other tools - as in the case of Protege presented before - as well as run independently via various interfaces. Popular DL reasoners include: FaCT++, Pellet, HermiT, RacerPro and many others. DL reasoners may be integrated with other tools - as in the case of Protege presented before - as well as run independently via various interfaces. Popular DL reasoners include: FaCT++, Pellet, HermiT, RacerPro and many others.
  
-We will use the <wrap download><​wrap caution>​{{http://​home.agh.edu.pl/~kkutt/​semweb/​pellet-2.3.1.zip|Pellet}}</​wrap></​wrap>​ reasoner.+We will use the <wrap download><​wrap caution>​{{http://​krzysztof.kutt.pl/didactics/​semweb/​pellet-2.3.1.zip|Pellet}}</​wrap></​wrap>​ reasoner.
   - Unpack the zip.   - Unpack the zip.
   - Run ''​pellet.sh help''​ to get familiar with available commands.   - Run ''​pellet.sh help''​ to get familiar with available commands.
pl/dydaktyka/semweb/lab-onto-reasoning.txt · ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0