pátek 2. května 2014

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>

Žádné komentáře:

Okomentovat