KAPITOLA 11.: SWRL PRAVIDLA - Pravidlo 1.: Filmy žánru sci-fi

Jak již víme, pravidla tvoříme v záložce SWRL Rules. Pro tvorbu nového pravidla zvolíme volbu Create new rule. Objeví se nám editační okno pro zadání názvu a komentáře k pravidlu plus prostor pro tvorbu podoby pravidla, viz. následující obrázek.


Tvorba pravidla

Obrázek: Tvorba pravidla

Správně vytvořené pravidlo je v okně pro tvorbu a editaci pravidel označeno zelenou fajfkou. Naše pravidlo pro výběr scifi filmů má následující podobu: Film(?film) ∧ hasGenre(?film, ScifiGenre)
->
ScifiFilm(?film)
Do češtiny lze pravidlo přeložit takto: Za podmínky, že něco (označeno v podobě proměnné s otazníkem ?film) je film a zároveň ten ?film je žánru ScifiGenre (tj. ten jedinec z třídy Film má u sebe přidělenou hodnotu vlastnosti hasGenre ScifiGenre), pak (označeno symbolem šipky) ten ?film je považován za scifi film, resp. bude patřit třídě ScifiFilm. První podmínka Film(?film) je taková celkem obecná. Má za úkol vybrat všechny jedince třídy Film. Druhá podmínka tu první více konkretizuje tak, že z těch konkrétních filmů třídy Film má vybrat jen ty jedince, kteří mají u sebe hodnotu vlatnosti hasGenre ScifiGenre. Vše vybrané je přiděleno třídě ScifiFilm, viz. vysvětlení jinak obrázek níže.


Vysvětlení pravidla č. 1

Obrázek: Vysvětlení pravidla č. 1

Spouštíme pravidlo č. 1

Nejprve si projekt uložíme, pak vybereme pravidlo zaškrtávacím políčkem. Jako první zvolíme volbu OWL+SWRL -> JESS. Co se děje? V jednotlivých záložkách SWRLJESSTabu můžeme vidět, co bylo do JESSu importováno (jaké stavební bloky OWL ontologie a jaké pravidlo). Obrázek Spuštění pravdila vše znázorňuje.


Spuštění pravdila

Obrázek: Spuštění pravdila

Poté zvolíme volbu Run Jess, tj. odvozování. Výsledkem je odvození předpokládaných tří jedinců, viz. obrázek níže.


Odvozování

Obrázek: Odvozování

Poslední volba Jess->OWL přenese výsledky odvozování, tj. tři jedince, do OWL ontologie, viz. následující obrázek.


Přenos odvozeného do OWL ontologie

Obrázek: Přenos odvozeného do OWL ontologie

Co to znamená? To znamená, že tito 3 jedinci budou uvedeni v třídě ScifiFilm. V záložce Individuals si lze zkontrolovat, jestli jsou u třídy ScifiFilm 3 jedinci přítomni, viz. další obrázek níže. Z toho můžeme odvodit, že jsme první pravidlo vytvořili správně.


Odvození jedinci v OWL ontologii

Obrázek: Odvození jedinci v OWL ontologii