<?xml version='1.0'?>

<!-- Statement Indication - an object property node's range restriction should not be a datatype -->

<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:xsd ="http://www.w3.org/2000/10/XMLSchema#"
  xmlns:daml="http://www.daml.org/2001/03/daml+oil#"
  xmlns:ont1="http:///daml/tools/validator/examples/local/ont1.daml#"
  xmlns     ="http://www.daml.org/validator/examples/pv3.daml#"
>


<daml:Class rdf:ID="Car"/>
<Car rdf:ID="beetle"/>


<!-- OK -->
<daml:ObjectProperty rdf:ID="hasCar">
  <daml:range rdf:resource="#Car"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="hasFriend">
  <daml:range rdf:resource="http://www.daml.org/validator/examples/ont1.daml#Person"/>
</daml:ObjectProperty>

<!-- the range restriction of this Object Property should be a Class, not a datatype -->
<daml:ObjectProperty rdf:ID="hasClothingSize">
  <daml:range rdf:resource="http://www.daml.org/validator/examples/dt1.xsd#clothingsize"/>
</daml:ObjectProperty>

<!-- the range restriction should not be an instance.  This is caught by the range restriction on daml:range -->
<daml:ObjectProperty rdf:ID="hasCarType">
  <daml:range rdf:resource="#beetle"/>
</daml:ObjectProperty>



</rdf:RDF>
