<?xml version='1.0'?>

<!-- HasValueIndication - a property restriction requiring a specific value (typed literal)-->

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

<!-- SweetSixteenTyped must have an age of 16 -->

<!-- OK -->
<ont2:SweetSixteenTyped rdf:ID="farrah">
   <ont1:age>16</ont1:age>
</ont2:SweetSixteenTyped>

<ont2:SweetSixteenTyped rdf:ID="kate">
  <ont1:age><xsd:nonNegativeInteger rdf:value="16"/></ont1:age>
</ont2:SweetSixteenTyped>

<ont2:SweetSixteenTyped rdf:ID="jaclyn">
  <ont1:age><xsd:decimal rdf:value="16"/></ont1:age>
</ont2:SweetSixteenTyped>


<!-- age is incorrect -->
<ont2:SweetSixteenTyped rdf:ID="cheryl">
  <ont1:age>20</ont1:age>
</ont2:SweetSixteenTyped>

<!-- Value is a string instead of nonNegativeInteger -->
<ont2:SweetSixteenTyped rdf:ID="shelley">
  <ont1:age><xsd:string rdf:value="16"/></ont1:age>
</ont2:SweetSixteenTyped>

<!-- Has no age at all -->
<ont2:SweetSixteenTyped rdf:ID="tanya"/>

</rdf:RDF>
