Aby bylo možné definovat konkrétní vztahy a používat vazby k
odvozování dalších informací na základě logických pravidel,
existuje několik omezení vlastností. Mezi základní omezení
patří prvky Domain (definiční obor – množina subjektů, které
mohou být součástí vlastnosti) a Range (obor hodnot – množina
objektů, které mohou být součástí vlastnosti). Domain i Range
se udávají jako třídy nebo jejich kombinace.
<owl:ObjectProperty rdf:about="is_located_in">
<rdfs:range rdf:resource="Country"/>
<rdfs:domain rdf:resource="Ski_resort"/>
</owl:ObjectProperty>
Pokud bychom v ontologii využívající výše definovanou vlastnost uvedli, že nějaké lyžařské středisko leží (is_located_in) v Alpách (a ty by nebyly součástí třídy Country), pak by při validaci ontologie byla oznámena chyba. Toto pravidlo platí i pro další omezení vlastností.
<owl:ObjectProperty rdf:about="is_located_in">
<rdfs:range rdf:resource="Country"/>
<rdfs:domain rdf:resource="Ski_resort"/>
</owl:ObjectProperty>
Pokud bychom v ontologii využívající výše definovanou vlastnost uvedli, že nějaké lyžařské středisko leží (is_located_in) v Alpách (a ty by nebyly součástí třídy Country), pak by při validaci ontologie byla oznámena chyba. Toto pravidlo platí i pro další omezení vlastností.
Žádné komentáře:
Okomentovat