--- a/ontology/ProvenanceOntology.owl	Fri Jun 01 20:24:52 2012 -0400
+++ b/ontology/ProvenanceOntology.owl	Fri Jun 01 21:02:08 2012 -0400
@@ -889,6 +889,7 @@
     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasDerivedFrom">
         <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
         <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
         <inverse>hadDerivation</inverse>
         <definition xml:lang="en">A derivation is a transformation of an entity into another, a construction of an entity into another, or an update of an entity, resulting in a new one.</definition>
         <rdfs:comment xml:lang="en">A derivation is a transformation of an entity into another, a construction of an entity into another, or an update of an entity, resulting in a new one.</rdfs:comment>

--- a/ontology/prov.ttl	Fri Jun 01 20:24:52 2012 -0400
+++ b/ontology/prov.ttl	Fri Jun 01 21:02:08 2012 -0400
@@ -1131,6 +1131,7 @@
     a owl:AsymmetricProperty, owl:IrreflexiveProperty, owl:ObjectProperty ;
     rdfs:comment "A derivation is a transformation of an entity into another, a construction of an entity into another, or an update of an entity, resulting in a new one."@en ;
     rdfs:domain :Entity ;
+    rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
     rdfs:range :Entity ;
     rdfs:subPropertyOf :tracedTo ;
     owl:propertyChainAxiom (:qualifiedDerivation