KAPITOLA 8.: REPREZENTACE JEDINCŮ V ONTOLOGII - NÁVRHOVÝ VZOR PSEUDOJEDINEC - tvorba definovaných tříd
Jednotlivé druhy papoušků budeme chtít rozdělit do tříd podle místa jejich původu. To rozdělování může realizovat klasifikátor (o klasifikaci budeme hovořit v následující kapitole). K tomu potřebujeme vytvořit definované třídy, do kterých budou jednotliví papoušci "zařazováni". Vytvoříme definované třídy: AmericanParrot, AsianParrot, EuropeanParrot, AustralianParrot a AfricanParrot.
Americký papoušek je takový papoušek, který se nachází v Severní Americe nebo v Jižní Americe, přičemž ne na obou kontinentech zároveň. Jako jedinec patřící určité třídě se může vyskytovat buď na jednom nebo druhém kontinentu - nemůže se tedy rozpůlit a být na dvou místech současně. Jak bude vypadat taková třída s použitím návrhového vzoru Pseudojedinec? Třídy NorthAmerica a SouthAmerica by měly být disjunktní (bez společných prvků), tedy by neměl existovat kontinent, který je jak Severní tak Jižní Amerikou. Víme, že každý americký papoušek žije na jednom z těchto kontinentů, ale jako jedinec nemůže žít na obou. Třeba nějaký papoušek Franta je z Jižní Ameriky a zas druhý papoušek Lojza je z té Severní. Oba jedinci by tedy měli spadat do třídy AmericanParrot. Musíme tedy použít existenciální omezení se spojkou OR. Dále pak chceme reprezentovat americké papoušky. Je vhodné uvést axiom uzávěru vlastnosti, který zajistí, že žádný jiný kontinent nebo země nepřicházi u třídy AmericanParrot v úvahu. Víme také, že jsme použili pseudojedince, což je třída obsahující jen jednoho jedince - v našem případě třídu NorthAmerica a SouthAmerica. Proto jsme uvedli, že vlastnost hasCountryOfOrigin je funkcionální, není totiž třeba reprezentovat více vztahů hasCountryOfOrigin mezi jedincem z třídy AmericanParrot a anonymní třídou (NorthAmerica or SouthAmerica). Všechny podmínky, které jsme vytvořili budou nezbytnými a postačujícími podmínkami, tj. aby papoušek byl americký musí splňovat podmínku, že je papouškem, pochází z Jižní nebo Severní Ameriky. Jakýkoliv jedinec, který tyto podmínky splňuje, tak se o něm dá na 100 procent tvrdit, že je americkým papouškem. Obrázek níže ukazuje podobu podmínek pro definovanou třídu AmericanParrot.
Tvorba ostatních definovaných tříd týkajících se místa původu papouška s použitím návrhového vzoru je obdobná.
Stažení projektů
parrots07_individuals.zip (reprezentace jedinců)parrots08_pseudoindividuals.zip (reprezentace pseudojedinců)
parrots09_pseudodefclass.zip (reprezentace definovaných tříd s pseudojedinci)