Semestrálka 1

1. Odhalte modelovací chybu, která způsobila, že Sister není podtřídou Woman. Tuto chybu napravte (! nemodifikujte definici třídy Sister, ta je v pořádku !).
2. Vysvětlete, proč je GrandFather klasifikován jako podtřída Father ?
3. Odůvodněte, proč je třída FatherWithoutChildren nesplnitelná. Proved'te a podrobně popište běh tableau algoritmu prokazující tuto nesplnitelnost.
4. Definice třídy Parent obsahuje redundanci { nalezněte ji a popište ji.
5. Vysvětlete, jak to, že ontologie je konzistentní, přestože obsahuje nesplnitelnou třídu FatherWithoutChildren.
6. Vysvětlete, jak to, že ontologie je konzistentní, přestože obsahuje tvrzení Parent(JIRI) a Parent ≡ hasChild .T, ovšem neobsahuje žádně tvrzení tvaru hasChild(JIRI; I), pro nějaký individuál I.
7. Vysvětlete, proč MIRKO nepatří do třídy ParentOfSingleChild ?

Úkoly v této části implementujte do nové OWL ontologie, která importuje ontologii ze zadání úlohy. Výsledkem musí být konzistentní ontologie.

1. Zatím máme k dispozici pouze role hasChild a hasSibling. K oběma rolím nadefinujte role inverzní.
2. Definujte a axiomatizujte role hasDescendant a hasAncestor, které budou odvozovat libovolně vzdálené potomky, resp. libovolně vzdálené předky. Tedy bude možně např. odvodit hasAncestor(MIRKO; JIRI).
3. Definujte koncept „všech rodičů, které mají alespoň 3 syny, ale nejvýše 5 dětí celkem“.
4. Dokončete návrh této ontologie pro genealogický informační systěm - přidejte a dostatečně přesně axiomatizujte alespoň 10 dalších konceptů a 5 dalších rolí (některé datové, některě objektové). Zejměna se věnujte:
   • manželství - vztahy býti manželem/manželkou, apod.
   • složitějším rodinným vztahúm - vztah býti strýcem, apod.
   • genealogickým datům - data, místa narození, apod.
5. Naplňte ontologii daty alespoň 3 generací pro dvě osoby a ověřte na nich správnost axiomatizace rozšíření navrženěho v předchozím bodě. Můžete si vybrat fiktivní data, nebo např. popsat nějaký známý historický rod.

Dotazy vytvářeně v těto části

(i) napište do textověho souboru v jazyce SPARQL, 

(ii)otestujte je na vyvíjeně ontologii pomocí dotazovacího engine v inferečním stroji Pellet,

(iii) vypište jejich výsledky, (iv) a analyzujte, zda jsou výsledky očekávaně.

1. Sestavte konjunktivní dotaz, který nalezne všechny dvojice osob, kterě jsou ve vztahu švagr/švagrová, a každý má alespo_n jednoho bratra.
2. Sestavte konjunktivní dotaz, kterým naleznete všechny dvojice dětí, kterě nejsou sourozenci avšak sdílejí obě dvojice prarodičú. Dotaz otestujte na navrženě ontologii. Odúvodněte, kde použít nerozlišenou proměnnou, a kde proměnnou rozlišenou.
3. Formulujte dotaz který ověří, že z ontologie plyne existence alespo_n 2 osob, z nichž jedna je pravnukem druhě (pozor { žádná z těchto osob nemusí být reprezentována individuálem !).
4. Ukažte, jakým zpúsobem lze dotaz vytvořený v předchozím v bodě zformulovat a vyhodnotit bez pomocí standardního tableau algoritmu pro ověřování konzistence (tedy nemáme-li k dispozici inferenční stroj na konjunktivní dotazy)