Owl, Owl Belgesi Yazma (2)

Equivalent Class, Equivalent Property

<owl:class rdf:id="TexasThings">
  <owl:equivalentclass>
      <owl:restriction>
          <owl:onProperty rdf:resource="#locatedIn"/>
          <owl:someValuesFrom rdf:resource="#TexasRegion"/>
       </owl:restriction>
   </owl:equivalentclass>
</owl:class>

sameAs

<Wine rdf:Id="MikesFavouriteWine">
  <owl:sameAs  rdf:resource="#StGenevieveTexasWhite"/>
</Wine>

İndividuals'lar arasındaki eşitliği gösteriyor.

DifferentFrom, allDifferent Individuals

<WineSugar rdf:Id="Dry"/>

<WineSugar rdf:Id="Sweet">
  <owl:differentFrom rdf:resource="#Dry"/>
</WineSugar>

<owl:Alldifferent>
  <owl:distinctMembers rdf:parseType="Collection">
   <vin:WineColor  rdf:about="#Red"/>
   <vin:WineColor rdf:about="#White"/>
  </owl:distinctMembers>
</owl:Alldifferent>

Intersection-OWL-DL
Kesişimini alır. hasColor özelliği White olan şaraplara WhiteWine denilsin.

<owl:Class rdf:Id="WhiteWine">
  <owl:IntersectionOf  rdf:parseType="Collection">
    <owl:Class rdf:about="#Wine"/>
      <owl:restriction>
          <owl:onProperty rdf:resource="#hasColor"/>
          <owl:hasValue  rdf:resource="#White"/>
      </owl:restriction>
  </owl:restriction>
</owl:Class>

Union-Owl-Dl
Birleşimi ifade ediyor. SweetFruit ve NonSweetFruit'in birleşimi Fruit oluyor.

<owl:Class rdf:Id="Fruit">
  <owl:unionOf rdf:parseType="Collection">
     <owl:Class rdf:about="#SweetFruit">
     <owl:Class  rdf:about="#NonSweetFruit">
   </owl:unionOf>
</owl:Class>

Complement-Owl-Dl
Olumsuzluk katıyor.

<owl:Class rdf:Id="ConsumableThing"/>

<owl:Class rdf:Id="NonConsumableThing">
  <owl:complemetOf  rdf:resource="#ConsumableThing"/>
</owl:Class>

oneOf-owl-dl
Şarap rengi bu üç renkten biridir.

<owl:Class rdf:Id="WineColor">
  <rdfs:subClassOf  rdf:resource="#WineDescriptor"/>
    <owl:oneOf rdf:parseType="Collection">
       <owl:Thing  rdf:about="#White"/>
       <owl:Thing rdf:about="#Rose"/>
      <owl:Thing rdf:about="#Red"/>
   </owl:oneOf>
</owl:Class>

disjointWith  -owl-dl
Ayırma işlemi yapıyoruz. Pasta sınıfı bunlardan biri olamaz.

<owl:Class rdf:Id="Pasta">
   <rdfs:subClassOf rdf:resource="#EdibleThing"/>
     <owl:disjointWith rdf:resource="#Meat"/>
     <owl:disjointWith rdf:resource="#Fowl"/>
     <owl:disjointWith rdf:resource="#SeaFood"/>
     <owl:disjointWith rdf:resource="#Fruit"/>
</owl:Class>