--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/EntityInRole/car-purchase.ttl	Tue Oct 04 08:30:13 2011 -0400
@@ -0,0 +1,50 @@
+@prefix frbrcore: <http://purl.org/vocab/frbr/core#> .
+@prefix muo:      <http://purl.oclc.org/NET/muo/muo#> .
+@prefix dcterms:  <http://purl.org/dc/terms/> .
+@prefix prov:     <http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/ProvenanceOntology.owl#> .
+@prefix vehicle:  <http://localhost/example/ontology/vehicle#> .
+
+:e_2
+   a prov:Entity;
+   vehicle:make  <http://dbpedia.org/resource/Toyota>;
+   vehicle:model <http://dbpedia.org/resource/Toyota_Corolla>;
+   frbr:owner    <http://data.semanticweb.org/person/tom-heath>;
+   rdfs:comment "The Corolla as owned by Tom.";
+   vehicle:vin "XYZ123";
+.
+:e_3
+   a prov:Entity;
+   vehicle:make  <http://dbpedia.org/resource/Toyota>;
+   vehicle:model <http://dbpedia.org/resource/Toyota_Corolla>;
+   vehicle:vin "XYZ123";
+   rdfs:comment "The Corolla as owned by Luc.";
+   frbr:owner    <http://data.semanticweb.org/person/luc-moreau>;
+.
+
+# wasDerivedFrom(e3,e2)  (since e3 was bought by luc from tom)
+:e_3 prov:wasDerivedFrom :e_2 .
+
+:pe_4
+   a prov:ProcessExecution, prov:Entity, commerce:Purchase;
+   dcterms:date "2011-09-20";
+   prov:used [
+      a commerce:Seller, prov:Role, prov:Entity;
+      prov:assumedBy <http://data.semanticweb.org/person/tom-heath>;
+   ];
+   prov:used [
+      a commerce:Buyer, prov:Role, prov:Entity;
+      prov:assumedBy <http://data.semanticweb.org/person/luc-moreau>;
+   ];
+   prov:used :e2;       # The car as owned by Tom, described above and below.
+   prov:used [
+      a commerce:Payment, prov:Role, prov:Entity;
+      rdf:value 25000;
+      muo:measuredIn <http://dbpedia.org/resource/Pound_sterling>;
+   ];
+   prov:generated :e_3; # The car as owned by Luc, described above and below.
+   rdfs:seeAlso <http://www.w3.org/2011/prov/track/issues/89>,
+                <http://www.w3.org/2011/prov/track/issues/110>;
+.
+
+:e_2 a commerce:GivenGoods,    prov:Role, prov:Entity .
+:e_3 a commerce:ReceivedGoods, prov:Role, prov:Entity .

--- a/ontology/examples/ontology-extensions/commerce/commerce.ttl	Tue Oct 04 08:18:32 2011 -0400
+++ b/ontology/examples/ontology-extensions/commerce/commerce.ttl	Tue Oct 04 08:30:13 2011 -0400
@@ -1,13 +1,28 @@
-@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-@prefix prov: <http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/ProvenanceOntology.owl> .
-@prefix commerce: <> .
+@prefix rdfs:     <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix prov:     <http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/ProvenanceOntology.owl> .
+@prefix commerce: <http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/commerce/commerce.ttl#> .
 
 commerce:Seller
    rdfs:subClassOf prov:EntityInRole;
+   rdfs:subClassOf [
+      a owl:Restriction;
+      owl:onProperty prov:assumedRole;
+      owl:hasValue   commerce:Seller;
+   ];
 .
 commerce:Buyer
    rdfs:subClassOf prov:EntityInRole;
+   rdfs:subClassOf [
+      a owl:Restriction;
+      owl:onProperty prov:assumedRole;
+      owl:hasValue   commerce:Buyer;
+   ];
 .
 commerce:Payment
    rdfs:subClassOf prov:EntityInRole;
+   rdfs:subClassOf [
+      a owl:Restriction;
+      owl:onProperty prov:assumedRole;
+      owl:hasValue   commerce:Payment;
+   ];
 .