--- a/ontology/components/EntityInRole/car-purchase.ttl	Tue Oct 04 08:34:45 2011 -0400
+++ b/ontology/components/EntityInRole/car-purchase.ttl	Tue Oct 04 09:01:12 2011 -0400
@@ -1,5 +1,6 @@
 @prefix rdf:      <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
 @prefix rdfs:     <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:      <http://www.w3.org/2002/07/owl#> .
 @prefix frbrcore: <http://purl.org/vocab/frbr/core#> .
 @prefix muo:      <http://purl.oclc.org/NET/muo/muo#> .
 @prefix dcterms:  <http://purl.org/dc/terms/> .
@@ -17,7 +18,8 @@
    vehicle:vin "XYZ123";
 .
 :e_3
-   a prov:Entity;
+   a commerce:ReceivedGoods;
+   a prov:Entity; # Since :ReceivedGoods subClassOf Entity.
    vehicle:make   <http://dbpedia.org/resource/Toyota>;
    vehicle:model  <http://dbpedia.org/resource/Toyota_Corolla>;
    vehicle:vin "XYZ123";
@@ -29,26 +31,34 @@
 :e_3 prov:wasDerivedFrom :e_2 .
 
 :pe_4
-   a prov:ProcessExecution, prov:Entity, commerce:Purchase;
+   a commerce:Purchase;
+   a prov:ProcessExecution; # Since :Purchase subClassOf ProcessExecution.
    dcterms:date "2011-09-20";
    prov:used [
-      a commerce:Seller, prov:Role, prov:Entity;
+      a commerce:Seller;
       prov:assumedBy <http://data.semanticweb.org/person/tom-heath>;
+      a prov:EntityInRole, prov:Entity; # Since :Seller subClassOf EntityInRole.
    ];
    prov:used [
-      a commerce:Buyer, prov:Role, prov:Entity;
+      a commerce:Buyer;
       prov:assumedBy <http://data.semanticweb.org/person/luc-moreau>;
+      a prov:EntityInRole, prov:Entity; # Since :Buyer subClassOf EntityInRole.
    ];
-   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.
+   prov:used :e2;       # The car as owned by Tom becomes -----------.
+   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  <<----------------
    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 .
+:e_2_not_e_3
+   a owl:NegativePropertyAssertion;
+   rdfs:comment "The car as owned by Tom is not the car as owned by Luc.";
+   owl:sourceIndividual :e_2;
+   owl:assertionProperty owl:sameAs;
+   owl:targetIndividual :e_3;
+.

--- a/ontology/examples/ontology-extensions/commerce/commerce.ttl	Tue Oct 04 08:34:45 2011 -0400
+++ b/ontology/examples/ontology-extensions/commerce/commerce.ttl	Tue Oct 04 09:01:12 2011 -0400
@@ -1,4 +1,5 @@
 @prefix rdfs:     <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:      <http://www.w3.org/2002/07/owl#> .
 @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#> .
 
@@ -26,3 +27,15 @@
       owl:hasValue   commerce:Payment;
    ];
 .
+commerce:ReceivedGoods
+   rdfs:subClassOf prov:EntityInRole;
+   rdfs:subClassOf [
+      a owl:Restriction;
+      owl:onProperty prov:assumedRole;
+      owl:hasValue   commerce:RecievedGoods;
+   ];
+.
+commerce:Purchase
+   rdfs:subClassOf prov:ProcessExecution;
+   rdfs:comment "A Buyer giving a Seller a Payment for RecievedGoods";
+.

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/examples/ontology-extensions/vehicle/vehicle.ttl	Tue Oct 04 09:01:12 2011 -0400
@@ -0,0 +1,48 @@
+@prefix rdfs:     <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:      <http://www.w3.org/2002/07/owl#> .
+@prefix frbrcore: <http://purl.org/vocab/frbr/core#> .
+@prefix prov:     <http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/ProvenanceOntology.owl> .
+@prefix vehicle:  <http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/vehicle/vehicle.ttl#> .
+
+vehicle:Vehicle
+   rdfs:label "Vehicle";
+   rdfs:subClassOf prov:Entity;
+   rdfs:subClassOf [
+      a owl:Restriction;
+      owl:onProperty vehicle:make;
+      owl:cardinality 1;
+   ];
+   rdfs:subClassOf [
+      a owl:Restriction;
+      owl:onProperty vehicle:model;
+      owl:cardinality 1;
+   ];
+   rdfs:subClassOf [
+      a owl:Restriction;
+      owl:onProperty vehicle:vin;
+      owl:cardinality 1;
+   ];
+   rdfs:subClassOf [
+      a owl:Restriction;
+      owl:onProperty frbrcore:owner;
+      owl:cardinality 1;
+   ];
+.
+
+vehicle:make
+   a owl:ObjectProperty;
+   rdfs:label "make";
+   rdfs:comment "e.g. :Toyota";
+.
+
+vehicle:model
+   a owl:ObjectProperty;
+   rdfs:label "model";
+   rdfs:comment "e.g. :Corolla";
+.
+
+vehicle:vin
+   a owl:DatatypeProperty;
+   rdfs:label "VIN";
+   rdfs:comment "Vehicle Identification Number";
+.