<?xml version='1.0'?>

<!-- Incorrect Range Indication - sub-classes -->

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

<!-- OK -->
<ont1:Man rdf:ID="dave">
  <ont1:name>Dave</ont1:name>
</ont1:Man>

<!-- OK - hasParent can accept dave because Man is a subclass of Animal -->
<ont1:Man rdf:ID="justin">
  <ont1:name>Justin</ont1:name>
  <ont1:hasParent rdf:resource="#dave"/>
</ont1:Man>

<ont1:Animal rdf:ID="fern"/>

<!-- sub-classes work in one direction.  hasMother can not accept fern because
     Animal is not a subClass of Female.  But Female is a subClassOf Animal. -->
<ont1:Man rdf:value="#justin">
  <ont1:hasMother rdf:resource="#fern"/>
</ont1:Man>

</rdf:RDF>


