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).
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>
Žádné komentáře:
Okomentovat