<?xml version='1.0'?>

<!-- Undefined Property Indication - An implicit property is referenced -->

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

<!-- OK - Generates an INFORMATION indication saying the property hasPet is
   not explicitly defined -->
<daml:Class rdf:about="http://www.daml.org/validator/examples/ont1.daml#Person">
  <daml:comment>A Person can have a pet that is an Animal</daml:comment>
  <daml:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#hasPet"/>
      <daml:toClass rdf:resource="http://www.daml.org/validator/examples/ont1.daml#Animal"/>
    </daml:Restriction>
  </daml:subClassOf>
</daml:Class>

</rdf:RDF>