Základy ontologií 20 - Axiom pokrytí třídy

Dalším způsobem restrikce, který výrazně omezuje otevřený přístup charakteristický pro ontologie, je axiom pokrytí třídy (covering axiom). Covering axiom představuje definici nutné a postačující podmínky (podmínek) pro danou třídu. Jinými slovy, třída nemůže obsahovat jiné prvky (většinou instance) než ty, které jsou přímo určené podmínkami. Jedná se tedy o uzavřenou, jasně definovanou množinu prvků.
Pokud bychom vytvořili třídu Country, která by obsahovala všechny státy světa, z principu Open World Assumption by byla tato třída nekonečná. V tomto případě však tento přístup není ideální, protože seznam takových států je pevně daný a z hlediska kvality ontologie a v ní uložených informací by nebylo vhodné, aby se v seznamu zemí objevili země neexistující nebo sporné.
Axiom pokrytí třídy můžeme interpretovat tak, že daná třída se skládá pouze z předem definovaných prvků a nemůže obsahovat žádné jiné. Například je možné definovat, že třída Resort bude obsahovat jen a pouze prvky tříd Ski_resort a Summer_resort.

<owl:Class rdf:about="Resort">

<rdfs:subClassOf>

<owl:Class>

<owl:unionOf rdf:parseType="Collection">

<rdf:Description rdf:about="Ski_resort"/>

<rdf:Description rdf:about="Summer_resort"/>

</owl:unionOf>

</owl:Class>

</rdfs:subClassOf>

</owl:Class>

<owl:Class rdf:about="Ski_resort">

<rdfs:subClassOf rdf:resource="Resort"/>

</owl:Class>

<owl:Class rdf:about="Summer_resort">

<rdfs:subClassOf rdf:resource="Resort"/>

</owl:Class>

Z příkladu je patrné, že axiom pokrytí třídy je vlastně kombinací definování hierarchie tříd (podtříd) a komplexních tříd.

Základy ontologií 19 - Axiom uzávěru vlastnosti

Axiom uzávěru vlastnosti (closure axiom) slouží k definitivnímu omezení přístupu Open World Assumption . Jedná se o kombinaci obou druhů kvantifikátorů, jejímž výsledkem je omezení dané vlastností jen a pouze na dané třídy. Axiom má smysl, když na straně objektu je nějaká kombinace tříd nebo když axiom uzavírá skupinu vlastností.
Například je možné definovat, že vlastnost is_located_in bude aplikována na třídu Ski_resort (subjekt) a objektem budou moci být pouze státy (třída Country) nebo regiony (třída Region).

<owl:Class rdf:about="Ski_resort">

<owl:equivalentClass>

<owl:Class>

<owl:intersectionOf
rdf:parseType="Collection">

<owl:Restriction>

<owl:onProperty
rdf:resource="is_located_in"/>

<owl:someValuesFrom rdf:resource="Country"/>

</owl:Restriction>

<owl:Restriction>

<owl:onProperty
rdf:resource="is_located_in"/>

<owl:someValuesFrom rdf:resource="Region"/>

</owl:Restriction>

<owl:Restriction>

<owl:onProperty
rdf:resource="is_located_in"/>

<owl:allValuesFrom>

<owl:Class>

<owl:unionOf rdf:parseType="Collection">

<rdf:Description rdf:about="Country"/>

<rdf:Description rdf:about="Region"/>

</owl:unionOf>

</owl:Class>

</owl:allValuesFrom>

</owl:Restriction>

</owl:intersectionOf>

</owl:Class>

</owl:equivalentClass>

</owl:Class>

SGG - 13. týden

Předposlední týden semestru je ve znamení ekonomické geografie. Tentokrát se zaměříme na služby, odvětví ekonomiky, které je dominantní zvláště ve vyspělých zemích světa. A protože se blíží prázdniny zaměříme se na cestovních ruch, jako příklad odvětví, které na jedné straně produkuje a na straně druhé potřebuje prostorová data a informace.
A druhá část bude věnovaná dopravě - opět velice důležité složce ekonomiky a navíc úzce svázané s cestovním ruchu.
A až si projdete obě prezentace, tak ve volném čase věnujte dokončení zápočtového úkolu - prezentaci.

Chápu, že koncem semestru můžete v termínu "volný čas" spatřovat nechutnou ironii. Ale pokud vás to trochu povzbudí, tak ani tady v Římě nebude květen patřit mezi nejklidnější měsíce. Každopádně se budu snažit uveřejňovat výsledky práce na FAO (dokumenty zaměřené na analýzy Linked Data v oblasti geografie) na tomto blogu. 

Základy ontologií 18 - Omezení vlastností

Kromě již zmíněných omezení (Domain a Range) ontologie disponují dalšími typy restrikcí. Mezi ně patří i kvantifikátory. Ty byly převzaty z matematiky a logiky a představují techniku, která určuje, do jaké míry daná vlastnost pokrývá třídu.
Ontologické systémy využívají dva typy kvantifikátorů – existenciální a univerzální:
Existenciální kvantifikátor (someValuesFrom) v následujícím příkladu můžeme interpretovat jako „třída Ski_resort musí mít relaci is_located_in s třídou Country, což ovšem neznamená, že stejnou vazbou nemůže být propojená i s jinou třídou, například s třídou Region (tato třída není v příklad již uvedena)“.

<owl:Class rdf:about="Ski_resort">

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty
rdf:resource="is_located_in"/>

<owl:someValuesFrom rdf:resource="Country"/>

</owl:Restriction>

</owl:equivalentClass>

</owl:Class>

Univerzální kvantifikátor (allValuesFrom) je méně striktní z hlediska existence vazby, ale jeho omezení je mnohem výraznější z pohledu existence stejných vazeb s jinými třídami. Následující příklad je možné do běžného jazyka přeložit jako „sjezdovky (třída Ski_slope) se mohou, ale nemusí někde vyskytovat (vlastnost is_located_in), ale pokud se někde vyskytuje, pak to musí být v lyžařském středisku (třída Ski_resort)“.

<owl:Class rdf:about="Ski_slope">

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty
rdf:resource="is_located_in"/>

<owl:allValuesFrom
rdf:resource="Ski_resort"/>

</owl:Restriction>

</owl:equivalentClass>

</owl:Class>