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)“.
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>
<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