<?xml version="1.0" encoding="UTF-8"?>

<!-- This file should result in the following errors: 

1) ERROR: Property Restriction Violation
	Instance: http://java-emporium.com/swdata#Java
	Constraint: minCardinality=2
	Class: http://java-emporium.com/software#CommercialSoftware
	Property: http://java-emporium.com/software#Soldby
2) ERROR: Property Restriction Violation
	Instance: http://java-emporium.com/swdata#C-Sharp
	Constraint: maxCardinality=1
	Class: http://java-emporium.com/software#CommercialSoftware
	Property: http://java-emporium.com/software#Madeby
3) ERROR: Property Restriction Violation
	Instance: http://java-emporium.com/swdata#C-Sharp
	Constraint: someValuesFrom=http://java-emporium.com/software#Company
	Class: http://java-emporium.com/software#CommercialSoftware
	Property: http://java-emporium.com/software#Usedby

-->

<rdf:RDF 
    xmlns     ="http://java-emporium.com/software#" 
    xml:base  ="http://java-emporium.com/swdata"       
    xmlns:owl ="http://www.w3.org/2002/07/owl#"
    xmlns:rdf ="http://www.w3.org/1999/02/22-rdf-syntax-ns#">


<Company rdf:ID="Microsoft" />
<Company rdf:ID="Oracle" />
<Company rdf:ID="Sun" />
<Company rdf:ID="Bestbuy" />
<Company rdf:ID="Egghead" />

<CommercialSoftware rdf:ID="C-Sharp">
    <Madeby rdf:resource="#Microsoft" />
    <Soldby rdf:resource="#Bestbuy"/>
    <Madeby rdf:resource="#Sun" />
    <Soldby rdf:resource="#Egghead"/>
 </CommercialSoftware>
 

<CommercialSoftware rdf:ID="Java">
    <Madeby rdf:resource="#Sun" />
    <Soldby rdf:resource="#Bestbuy"/>
    <Usedby rdf:resource="#Oracle"/>
</CommercialSoftware>
  
</rdf:RDF>



