<rdf:RDF
  xmlns:xsd ="http://www.w3.org/2000/10/XMLSchema#"
  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/02/daml+oil#"
  xmlns:dex ="http://www.daml.org/2001/02/daml+oil-ex#"
>

<daml:Class rdf:about="http://www.daml.org/2001/02/daml+oil-ex#Person">
  <rdfs:comment>
  Persons have at most 1 item of associatedData
  </rdfs:comment>
   <rdfs:subClassOf>
      <daml:Restriction>
        <daml:onProperty rdf:resource="#associatedData"/>
        <daml:maxCardinality>1</daml:maxCardinality>
      </daml:Restriction>
   </rdfs:subClassOf>
</daml:Class>

<daml:ConcreteProperty rdf:about="http://www.daml.org/2001/02/daml+oil-ex#shoesize">
  <rdfs:comment>
    shoesize is a ConcreteProperty whose range is xsd:decimal.
    shoesize is also a UniqueProperty (can only have one shoesize)
  </rdfs:comment>
  <rdf:type rdf:resource="http://www.daml.org/2001/02/daml+oil#UniqueProperty"/>
  <rdfs:range rdf:resource="xsd:decimal"/>
</daml:ConcreteProperty>


<dex:Person rdf:ID="Ian">
  <!-- my diagramming tool doesn't do well with lots of test - Dan
   rdfs:comment>
  Ian is an instance of Person. Ian has shoesize 14 and age 37, of
  type xsd:decimal and xsd:nonNegativeInteger respectively. Ian also
  has shirtsize 12, the type of which is the union type clothingsize;
  the discriminating type "string" has been specified, so the value is
  to be taken as the string "12" rather than the integer 12.  We may
  be able to infer that Ian is an instance of BigFoot (because 14 is a
  valid value for the datatype "#over12").
  </rdfs:comment -->
  <dex:shoesize>
    <xsd:decimal rdf:value="14"/>
  </dex:shoesize>
  <dex:age>
    <xsd:nonNegativeInteger rdf:value="37"/>
  </dex:age>
  <dex:shirtsize>
    <xsd:string rdf:value="12"/>
  </dex:shirtsize>
</dex:Person>

</rdf:RDF>