Jak bylo zmíněno díky
přístupu Open World Assumption pracují se všemi variantami jako s
možnými. Proto je potřeba vazby, které jsou z hlediska dané
domény nesmyslné nebo nemožné, explicitně zakázat. K tomu
slouží tzv. axiom průniku, který přímo zakazuje průnik mezi
danými třídami. Následující příklad ukazuje tzv. disjoint
classes, tedy třídy se zakázaným průnikem.
<owl:Class rdf:about="Country">
<owl:disjointWith rdf:resource="Ski_resort"/>
</owl:Class>
<owl:Class rdf:about="Country">
<owl:disjointWith rdf:resource="Ski_resort"/>
</owl:Class>
Žádné komentáře:
Okomentovat