<?xml version="1.0"?>
<!DOCTYPE rdf:RDF [
     <!ENTITY music  "http://www.music.org/musicont#" >
   ]>

<!-- This data file should result in the following constraint violations:
1) ERROR: Property Restriction Violation
Instance: Police
Class: Band
Property: member
Constraint: allValuesFrom  http://www.music.org/musicont#Musician

2) ERROR: Property Restriction Violation
Instance: Page
Class: Guitarist
Property: plays
Constraint: hasValue  http://www.music.org/musicont#Guitar

3) ERROR: Property Restriction Violation
Instance: Page
Class: Musician / Guitarist
Property: plays
Constraint: minCardinality 1

4) ERROR: Property Restriction Violation
Instance: Plant
Class: Musician
Property: plays
Constraint: minCardinality 1

NOTE: That LedZeppelin does not violate the allValues from restriction
because a Guitarist is a subclass of Musician!

-->

<rdf:RDF
  xml:base  = "http://www.music.org/musicdata"
  xmlns:m   = "http://www.music.org/musicont#"
  xmlns:owl = "http://www.w3.org/2002/07/owl#"
  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:rdfs= "http://www.w3.org/2000/01/rdf-schema#">

<!--
  <rdf:Description rdf:about="">
    <owl:imports rdf:resource="http://www.music.org/musicont.owl" />
  </rdf:Description>
-->

  <m:Band rdf:ID="Police">
     <m:member rdf:resource="#Sting" />
     <m:member rdf:resource="#Andy" />
     <m:member rdf:resource="#Stewart" />
  </m:Band>

  <m:Musician rdf:ID="Sting">
	<m:plays rdf:resource="&music;Bass" />
  </m:Musician>
  <m:Person rdf:ID="Andy" />
  <m:Musician rdf:ID="Stewart">
	<m:plays rdf:resource="&music;Drums" />
  </m:Musician>


  <m:Band rdf:ID="LedZeppelin">
	<m:member rdf:resource="#Page" />
	<m:member rdf:resource="#Plant" />
  </m:Band>

  <m:Musician rdf:ID="Plant" />
  <m:Guitarist rdf:ID="Page" />

</rdf:RDF>

