@prefix : <foo://bla/>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
  ### German: Unpaarhufer
:Perissodactula rdfs:subClassOf :Animal; owl:disjointUnionOf ( :Equus :Rhino :Tapir ).
:Unicorn owl:intersectionOf (:Equus
  [a owl:Restriction; owl:onProperty :hasHorn; owl:cardinality 1]
  [a owl:Restriction; owl:onProperty :hasHorn; owl:someValueFrom :Horn]).
:Horse owl:intersectionOf (:Equus
  [a owl:Restriction; owl:onProperty :hasHorn; owl:cardinality 0]).
:Rhino rdfs:subClassOf
  [a owl:Restriction; owl:onProperty :hasHorn; owl:cardinality 1].
:Tapir rdfs:subClassOf
  [a owl:Restriction; owl:onProperty :hasHorn; owl:cardinality 0].
:Goat rdfs:subClassOf :Animal,
  [a owl:Restriction; owl:onProperty :hasHorn; owl:cardinality 2].
:hasHorn rdfs:range :Horn.
:hennes a :Goat.
#:Horn owl:equivalentClass owl:Nothing.