Nowa wersja
|
Poprzednia wersja
|
pl:dydaktyka:semweb:lab-onto-reasoning [2017/11/05 16:57] kkutt utworzono |
pl:dydaktyka:semweb:lab-onto-reasoning [2019/11/12 15:37] (aktualna) kkutt |
====== 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...]] |
| |
| |
===== Lab instructions ===== | ===== Lab instructions ===== |
| |
==== - TBox and ABox [10 minutes] ==== | ==== - TBox and ABox [10 minutes] ==== |
| |
- 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 |
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. |
| |
==== - Advanced OWL reasoning [50 minutes] ==== | ==== - Advanced OWL reasoning [50 minutes] ==== |
These instructions are based on the [[http://www.cs.man.ac.uk/~stevensr/menupages/fhkb.php|The Family History Knowledge Base Tutorial]] by The University of Manchester, School of Computer Science | These instructions are based on the [[http://www.cs.man.ac.uk/~stevensr/menupages/fhkb.php|The Family History Knowledge Base Tutorial]]((Updated version of the tutorial is available [[http://owl.cs.manchester.ac.uk/publications/talks-and-tutorials/fhkbtutorial/|here]].)) by The University of Manchester, School of Computer Science. |
| |
- Download the {{.:ontologies.zip|}} pack. | - Download the {{.:ontologies.zip|}} pack. |