<?xml version='1.0'?>

<!-- Incorrect Domain Indication - the domain of a property node should be a class -->

<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     ="http://www.daml.org/validator/examples/pv1.daml#"
>

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

<!-- OK -->
<daml:Property rdf:ID="prop1">
  <daml:domain rdf:resource="#Car"/>
</daml:Property>

<daml:ObjectProperty rdf:ID="prop2">
  <daml:domain rdf:resource="#Car"/>
</daml:ObjectProperty>

<daml:DatatypeProperty rdf:ID="prop3">
  <daml:domain rdf:resource="#Car"/>
</daml:DatatypeProperty>


<!-- Domain not a class -->

<daml:Property rdf:ID="badProp1">
  <daml:domain>12</daml:domain>
</daml:Property>

<daml:ObjectProperty rdf:ID="badProp2">
  <daml:domain><xsd:integer rdf:value="12"/></daml:domain>
</daml:ObjectProperty>

<daml:DatatypeProperty rdf:ID="badProp3">
  <daml:domain>12</daml:domain>
</daml:DatatypeProperty>


</rdf:RDF>
