<rdf:RDF xml:base="http://owl.from.uml#">
 <owl:Ontology rdf:about="">
  <rdfs:label>
          created with xslt script "OWLwithUML.xsl" written by Sebastian Leinhos
 </rdfs:label>
 </owl:Ontology>
 <owl:Class rdf:ID="herbivore">
  <owl:intersectionOf rdf:parseType="Collection">
   <owl:Class rdf:about="#animal"/>
    <owl:Restriction>
     <owl:onProperty rdf:resource="#eats"/>
     <owl:allValuesFrom>
      <owl:Class>
       <owl:unionOf rdf:parseType="Collection">
        <owl:Class rdf:about="#plant"/>
        <owl:Restriction>
         <owl:onProperty rdf:resource="#is_part_of"/>
         <owl:allValuesFrom rdf:resource="#plant"/>
        </owl:Restriction>
       </owl:unionOf>
      </owl:Class>
     </owl:allValuesFrom>
    </owl:Restriction>
   </owl:intersectionOf>
  </owl:Class>

 <owl:Class rdf:ID="plant">
  <owl:disjointWith rdf:resource="#animal"/>
 </owl:Class>

 <owl:Class rdf:ID="animal"/>
 
<owl:Class rdf:ID="carnivore">
 <owl:intersectionOf rdf:parseType="Collection">
  <owl:Class rdf:about="#animal"/>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#eats"/>
    <owl:someValuesFrom rdf:resource="#animal"/>
   </owl:Restriction>
  </owl:intersectionOf>
 </owl:Class>

 <owl:Class rdf:ID="giraffe">
  <rdfs:subClassOf rdf:resource="#herbivore"/>
  <rdfs:subClassOf>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#eats"/>
    <owl:allValuesFrom rdf:resource="#leaf"/>
   </owl:Restriction>
   </rdfs:subClassOf>
 </owl:Class>

 <owl:Class rdf:ID="tree">
  <rdfs:subClassOf rdf:resource="#plant"/>
 </owl:Class>
 <owl:Class rdf:ID="branch">
  <rdfs:subClassOf>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#is_part_of"/>
    <owl:allValuesFrom rdf:resource="#tree"/>
   </owl:Restriction>
  </rdfs:subClassOf>
 </owl:Class>

 <owl:Class rdf:ID="leaf">
  <rdfs:comment>/* Leaves are parts of branches. *\</rdfs:comment>
  <rdfs:subClassOf>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#is_part_of"/>
    <owl:allValuesFrom rdf:resource="#branch"/>
   </owl:Restriction>
  </rdfs:subClassOf>
 </owl:Class>

 <owl:Class rdf:ID="lion">
  <rdfs:subClassOf rdf:resource="#carnivore"/>
  <rdfs:subClassOf>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#eats"/>
    <owl:allValuesFrom rdf:resource="#herbivore"/>
   </owl:Restriction>
  </rdfs:subClassOf>
 </owl:Class>

 <owl:Class rdf:ID="tasty_plant">
  <rdfs:subClassOf rdf:resource="#plant"/>
  <rdfs:subClassOf>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#eaten_by"/>
    <owl:someValuesFrom rdf:resource="#carnivore"/>
   </owl:Restriction>
  </rdfs:subClassOf>
  <rdfs:subClassOf>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#eaten_by"/>
    <owl:someValuesFrom rdf:resource="#herbivore"/>
   </owl:Restriction>
  </rdfs:subClassOf>
 </owl:Class>

 <owl:ObjectProperty rdf:ID="is_part_of">
 <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
 </owl:ObjectProperty>

 <owl:ObjectProperty rdf:ID="eats">
  <rdfs:domain rdf:resource="#animal"/>
 </owl:ObjectProperty>

 <owl:ObjectProperty rdf:ID="eaten_by">
  <owl:inverseOf rdf:resource="#eats"/>
 </owl:ObjectProperty>

</rdf:RDF>