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>