<?xml version='1.0'?>

<!-- HasClassIndication - a property restriction requiring at least one instance of 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:ont1="http://www.daml.org/validator/examples/ont1.daml#"
  xmlns:ont2="http://www.daml.org/validator/examples/ont2.daml#"
  xmlns     ="http://www.daml.org/validator/examples/in5.daml#"
>

<!-- ont2:Athlete is a person with at least one ont2:Hobby being a ont2:SportHobby -->

<!-- OK - has three sports hobbies-->
<ont2:Athlete rdf:ID="stan">
  <ont2:hasHobby rdf:resource="http://www.daml.org/validator/examples/ont2.daml#tennis"/>
  <ont2:hasHobby rdf:resource="http://www.daml.org/validator/examples/ont2.daml#football"/>
  <ont2:hasHobby rdf:resource="http://www.daml.org/validator/examples/ont2.daml#baseball"/>
  <ont2:hasHobby rdf:resource="http://www.daml.org/validator/examples/ont2.daml#piano"/>
</ont2:Athlete>

<!-- OK - has one sports hobby-->
<ont2:Athlete rdf:ID="kyle">
  <ont2:hasHobby rdf:resource="http://www.daml.org/validator/examples/ont2.daml#soccer"/>
</ont2:Athlete>

<!-- Only has non-sports hobbies -->
<ont2:Athlete rdf:ID="eric">
  <ont2:hasHobby rdf:resource="http://www.daml.org/validator/examples/ont2.daml#singing"/>
  <ont2:hasHobby rdf:resource="http://www.daml.org/validator/examples/ont2.daml#guitar"/>
</ont2:Athlete>

<!-- Has no listed hobbies -->
<ont2:Athlete rdf:ID="kenny"/>








</rdf:RDF>
