OWL Property Restrictions

• We define a restricted class Person

<owl:Class rdf:ID="Person">
  <rdfs:subClassOf rdf:resource="#Animal"/>
  <rdfs:subClassOf>
    <owl:Restriction>
      <owl:onProperty rdf:resource="#hasParent"/>
      <owl:toClass rdf:resource="#Person"/>
    </owl:Restriction>
  </rdfs:subClassOf>

• A Person is an Animal. The parent of a Person is also a Person.

  <rdfs:subClassOf>
    <owl:Restriction owl:cardinality="1">
      <owl:onProperty rdf:resource="#hasFather"/>
    </owl:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
    <owl:Restriction>
      <owl:onProperty rdf:resource="#shoesize"/>
      <owl:minCardinality>1</owl:minCardinality>
   </owl:Restriction>
  </rdfs:subClassOf>
</owl:Class>

• Any person must have exactly 1 father and at least one shoe size.