Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja Nowa wersja Both sides next revision | ||
|
pl:dydaktyka:semweb:lab-onto-reasoning [2017/11/05 17:00] kkutt [5 Advanced OWL reasoning [50 minutes]] |
pl:dydaktyka:semweb:lab-onto-reasoning [2018/09/14 15:58] kkutt 2018 fixes |
||
|---|---|---|---|
| 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}}) | |
| ===== Introduction ===== | ===== Introduction ===== | ||
| * Lecture: {{.:2014:eis2014semweb-ontology-logic.pdf|Ontology engineering and reasoning in Semantic Web}} (2014) | * Lecture: {{.:2014:eis2014semweb-ontology-logic.pdf|Ontology engineering and reasoning in Semantic Web}} (2014) | ||
| + | * OPTIONAL: [[https://www.cambridgesemantics.com/blog/semantic-university/intro-semantic-web/semantic-web-misconceptions/|Semantic Web Misconceptions]] (this is our last lab, so this is the right moment for this text :-) ) | ||
| * [[#if_you_want_to_know_more|If you want to know more...]] | * [[#if_you_want_to_know_more|If you want to know more...]] | ||
| Linia 64: | 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 102: | 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. | ||
