<?xml version='1.0'?>

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

<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/in2.daml#"
>

<!-- ont2:TennisPlayer requires ont2:hasHobby has a value of ont2:tennis -->

<!-- OK -->
<ont2:TennisPlayer rdf:ID="Alvin">
  <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#singing"/>
</ont2:TennisPlayer>

<!-- hobby does not include tennis -->
<ont2:TennisPlayer rdf:ID="Simon">
  <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#soccer"/>
  <ont2:hasHobby rdf:resource="http://www.daml.org/validator/examples/ont2.daml#piano"/>
</ont2:TennisPlayer>

<!-- Has no hobbies at all - also violates restriction on Athlete (a superclass of TennisPlayer) -->
<ont2:TennisPlayer rdf:ID="Theodore"/>

</rdf:RDF>
