Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja Ostatnia wersja Both sides next revision | ||
|
pl:dydaktyka:semweb:lab-onto-reasoning [2018/09/14 15:46] kkutt [Introduction] |
pl:dydaktyka:semweb:lab-onto-reasoning [2019/06/27 15:50] 127.0.0.1 edycja zewnętrzna |
||
|---|---|---|---|
| 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. | ||
