SGG - poslední týden

Náš společný semestr tímto týdnem končí. Doufám, že proběhl k Vaší spokojenosti, i když je mi jasné, že ho budete posuzovat i na základě výsledků zkoušky.
Co se týká výuku, čeká na Vás tento týden poměrně obtížná část. Tématem je INSPIRE a tvorba SDI (Spatial Data Infrastructure, infrastruktura prostorových dat). Hlavním problémem je fakt, že neexistuje prezentace na stránkách předmětu. Takže kde hledat informace?

1. Ve vyhledávači (pod heslem INSPIRE)
2. Na stránkách INSPIRE
3. Na českých stránkách INSPIRE

Nevynechte ani geoportály INSPIRE (evropský a český), případně různé příspěvky z konferencí (každý rok se konají přímo INSPIRE konference a v České republice existují také semináře zaměřené na implementaci INSPIRE). Účelem je, abyste se seznámili se strukturou a cílem INSPIRE a jeho výhodami i nedostatky. Projděte si především datové specifikace, metadata a způsoby poskytování dat.

Blog nezapomeňte sledovat. V nejbližší době bude publikováno vyhodnocení prezentace nebo termíny zkoušky.

Do diskuze pod tento článek pište jakékoli dotazy a připomínky. A pokud chcete 3 body do zápočtového hodnocení, tak do konce tohoto týdne napište 3 klady a 3 zápory (prosím dodržujte tento počet) předmětu SGG a jeho výuky v tomto semestru.  

Základy ontologií 22 - Výčet

Poslední pokročilou technikou je výčet prvků. Výčet omezuje příslušnost individuálů ke třídě (třídám). Jedná se opět o omezení přístupu Open World Assumption, neboť výčet zajistí, že v dané třídě se mohou vyskytovat pouze dané individuály, a tudíž se jedná o uzavřenou množinu.
Následující kód ukazuje třídu zemí sousedících s Českou republikou definovanou pomocí výčtu.

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

<owl:equivalentClass>

<owl:Class>

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

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

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

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

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

</owl:oneOf>

</owl:Class>

</owl:equivalentClass>

</owl:Class>

Základy ontologií 21 - Kardinalita

Ontologické systémy jsou schopné pracovat také s kardinalitou (mohutností) jednotlivých prvků. Jinými slovy kromě existence (kvantifikátory) je možné uvádět také počet prvků vyskytujících se v rámci nějaké vlastnosti.
Ontologie využívají tři základní typy omezení kardinality:

• Minimální počet prvků – příkladem může být tvrzení, že lyžařské středisko musí ležet minimálně v jednom státu. Toto omezení, které umožňuje zápis i přeshraničních resortů je možné zapsat pomocí následujícího kódu
  

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

<owl:equivalentClass>

<owl:Restriction>

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

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

<owl:minQualifiedCardinality
rdf:datatype="&xsd;nonNegativeInteger">1</owl:minQualifiedCardinality>

</owl:Restriction>

</owl:equivalentClass>

</owl:Class>

• Maximální počet prvků – na druhou stranu třída Region (myšleno správní celek konkrétní stylu ve smyslu krajů České republiky) nemůže být přeshraniční. Proto by jeho přítomnost v ontologii měla být omezena seshora.
  

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

<owl:equivalentClass>

<owl:Restriction>

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

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

<owl:maxQualifiedCardinality
rdf:datatype="&xsd;nonNegativeInteger">1</owl:maxQualifiedCardinality>

</owl:Restriction>

</owl:equivalentClass>

</owl:Class>

• Přesný počet prvků – předchozí příklad není zcela korektní, protože region leží sice maximálně v jednom státě, ale zároveň musí ležet i minimálně v jednom státě. Toto omezení by se dalo vyřešit kombinací obou výše zmíněných restrikcí počtu prvků. Tato technika se používá například v případech, kdy je zapotřebí zajistit, aby hodnota byla v nějakém intervalu. Předchozí příklad však můžeme popsat pomocí podmínky – region leží právě v jednom státu.
  

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

<owl:equivalentClass>

<owl:Restriction>

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

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

<owl:qualifiedCardinality
rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>

</owl:Restriction>

</owl:equivalentClass>

</owl:Class>

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.