<?xml version='1.0'?>

<rdf:RDF
  xmlns:rdf ="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:daml="http://www.daml.org/2001/03/daml+oil#"
  xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
  xmlns:xsd ="http://www.w3.org/2000/10/XMLSchema#"
  xmlns     ="file:///daml/tools/validator/examples/ont1.daml#"
>

<daml:Class rdf:ID="Plant">
  <rdfs:label>Plant</rdfs:label>
</daml:Class>

<daml:Class rdf:ID="Animal">
  <rdfs:label>Animal</rdfs:label>
</daml:Class>

<daml:Class rdf:ID="Male">
   <rdfs:subClassOf rdf:resource="#Animal"/>
</daml:Class>

<daml:Class rdf:ID="Female">
  <rdfs:subClassOf rdf:resource="#Animal"/>
  <daml:disjointWith rdf:resource="#Male"/>
</daml:Class>



<daml:Class rdf:ID="Person">
  <rdfs:label>Person</rdfs:label>
  <daml:subClassOf rdf:resource="#Animal"/>
</daml:Class>

<daml:Class rdf:ID="Man">
  <rdfs:subClassOf rdf:resource="#Person"/>
  <rdfs:subClassOf rdf:resource="#Male"/>
</daml:Class>

<daml:Class rdf:ID="Woman">
  <rdfs:subClassOf rdf:resource="#Person"/>
  <rdfs:subClassOf rdf:resource="#Female"/>
</daml:Class>


<daml:ObjectProperty rdf:ID="hasParent">
  <rdfs:domain rdf:resource="#Animal"/>
  <rdfs:range rdf:resource="#Animal"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="hasFather">
  <rdfs:subPropertyOf rdf:resource="#hasParent"/>
  <rdfs:range rdf:resource="#Male"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="hasMother">
  <rdfs:subPropertyOf rdf:resource="#hasParent"/>
  <rdfs:range rdf:resource="#Female"/>
</daml:ObjectProperty>

<daml:DatatypeProperty rdf:ID="age">
  <rdfs:range rdf:resource="http://www.w3.org/2000/10/XMLSchema#nonNegativeInteger"/>
</daml:DatatypeProperty>

<daml:DatatypeProperty rdf:ID="name">
  <rdfs:range rdf:resource="http://www.w3.org/2000/10/XMLSchema#Name"/>
</daml:DatatypeProperty>

</rdf:RDF>
