--- a/ontology/ProvenanceOntology.owl	Sun Jul 01 01:06:43 2012 -0400
+++ b/ontology/ProvenanceOntology.owl	Sun Jul 01 01:26:06 2012 -0400
@@ -468,6 +468,8 @@
         <inverse>wasInvalidatedBy</inverse>
         <component>entities-activities</component>
         <editorialNote>prov:invalidated is one of few inverse property defined, to allow Activity-oriented assertions in addition to Entity-oriented assertions.</editorialNote>
+        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Activity"/>
+        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
         <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Invalidation"/>
         <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#influenced"/>
         <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#wasInvalidatedBy"/>

--- a/ontology/prov.ttl	Sun Jul 01 01:06:43 2012 -0400
+++ b/ontology/prov.ttl	Sun Jul 01 01:26:06 2012 -0400
@@ -689,6 +689,8 @@
 
 :invalidated
     a owl:ObjectProperty ;
+    rdfs:domain :Activity ;
+    rdfs:range :Entity ;
     rdfs:subPropertyOf :influenced ;
     owl:inverseOf :wasInvalidatedBy ;
     :category "expanded" ;