to address : https://www.w3.org/2011/prov/track/issues/280
authorTim L <lebot@rpi.edu>
Tue, 06 Mar 2012 16:36:51 -0500
changeset 17836acd96df7489
parent 1782 61abdd3315a6
child 1784 3f5d306b875a
to address : https://www.w3.org/2011/prov/track/issues/280
and
https://www.w3.org/2011/prov/track/issues/262

removed occurredDuring b/c not in DM and Stian's good point that it does not bound.
removed hadTemporalExtent b/c not in DM.
renamed occurredAt to atTime, changed range from TimeInstant to xsd:dateTime
renamed startedAt to startedAtTime, changed range to xsd:dateTime
renamed endedAt to endedAtTime, changed range to xsd:dateTime
fixed the domains of qualifiedX properties to e.g. Usage (not e.g. Entity.)
renamed hadSpatialExtent to hadLocation to suit DM.
renamed adoptedPlan to hadPlan to suit other had* properties.
renamed annotation property prov:involvedClass to prov:qualifiedForm
elaborated more directions of prov:qualifiedForm and prov:unqualifiedForm annotations
ontology/ProvenanceOntology.owl
     1.1 --- a/ontology/ProvenanceOntology.owl	Tue Mar 06 15:42:36 2012 -0500
     1.2 +++ b/ontology/ProvenanceOntology.owl	Tue Mar 06 16:36:51 2012 -0500
     1.3 @@ -1,7 +1,6 @@
     1.4  <?xml version="1.0"?>
     1.5  
     1.6  
     1.7 -
     1.8  <!DOCTYPE rdf:RDF [
     1.9      <!ENTITY prov "http://www.w3.org/ns/prov#" >
    1.10      <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
    1.11 @@ -40,11 +39,19 @@
    1.12      ///////////////////////////////////////////////////////////////////////////////////////
    1.13       -->
    1.14  
    1.15 -    <owl:AnnotationProperty rdf:about="&prov;involvementClass">
    1.16 +    <owl:AnnotationProperty rdf:about="&rdfs;seeAlso"/>
    1.17 +    <owl:AnnotationProperty rdf:about="&prov;category"/>
    1.18 +    <owl:AnnotationProperty rdf:about="&prov;unqualifiedForm">
    1.19 +        <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
    1.20 +    </owl:AnnotationProperty>
    1.21 +    <owl:AnnotationProperty rdf:about="&prov;unqualifiedForm">
    1.22 +        <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
    1.23 +    </owl:AnnotationProperty>
    1.24 +    <owl:AnnotationProperty rdf:about="&prov;qualifiedForm">
    1.25          <rdfs:comment xml:lang="en">This annotation property links a prov:involved subproperty with a prov:Involved subclass. This indicates that the property can be qualified by using prov:qualified. 
    1.26  
    1.27  Example:
    1.28 -    prov:wasGeneratedBy prov:involvementClass prov:Generation .
    1.29 +    prov:wasGeneratedBy prov:qualifiedForm prov:Generation .
    1.30  
    1.31  Then this unqualified assertion:
    1.32      :entity1 prov:wasGeneratedBy :activity1 .
    1.33 @@ -58,18 +65,7 @@
    1.34  Note how the range of the unqualified property is mirrored by the prov:activity or prov:entity on the involvement class.</rdfs:comment>
    1.35          <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
    1.36      </owl:AnnotationProperty>
    1.37 -    <owl:AnnotationProperty rdf:about="&rdfs;seeAlso"/>
    1.38 -    <owl:AnnotationProperty rdf:about="&prov;category"/>
    1.39 -    <owl:AnnotationProperty rdf:about="&prov;unqualifiedForm">
    1.40 -        <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
    1.41 -    </owl:AnnotationProperty>
    1.42 -    <owl:AnnotationProperty rdf:about="&prov;involvementProperty">
    1.43 -        <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
    1.44 -    </owl:AnnotationProperty>
    1.45      <owl:AnnotationProperty rdf:about="&rdfs;label"/>
    1.46 -    <owl:AnnotationProperty rdf:about="&prov;qualifiedForm">
    1.47 -        <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
    1.48 -    </owl:AnnotationProperty>
    1.49      <owl:AnnotationProperty rdf:about="&rdfs;comment"/>
    1.50      
    1.51  
    1.52 @@ -97,7 +93,6 @@
    1.53          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
    1.54          <rdfs:domain rdf:resource="&prov;Agent"/>
    1.55          <rdfs:range rdf:resource="&prov;Agent"/>
    1.56 -        <prov:involvementClass rdf:resource="&prov;Responsibility"/>
    1.57          <prov:qualifiedForm rdf:resource="&prov;Responsibility"/>
    1.58          <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
    1.59          <prov:qualifiedForm rdf:resource="&prov;qualifiedResponsibility"/>
    1.60 @@ -108,7 +103,7 @@
    1.61      <!-- http://www.w3.org/ns/prov#activity -->
    1.62  
    1.63      <owl:ObjectProperty rdf:about="&prov;activity">
    1.64 -        <rdfs:comment xml:lang="en">The property used by a prov:EntityInvolvement to cite the Entity that was prov:involved with either an Activity or Entity.</rdfs:comment>
    1.65 +        <rdfs:comment xml:lang="en">The property used by a prov:AgentInvolvement to cite the Agent that was prov:involved with either an Activity or Entity.</rdfs:comment>
    1.66          <prov:category>qualified</prov:category>
    1.67          <rdfs:comment xml:lang="en">This property behaves in spirit like rdf:object; it references the object of a prov:involved triple.</rdfs:comment>
    1.68          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity_Ordering"/>
    1.69 @@ -121,24 +116,10 @@
    1.70      
    1.71  
    1.72  
    1.73 -    <!-- http://www.w3.org/ns/prov#adoptedPlan -->
    1.74 -
    1.75 -    <owl:ObjectProperty rdf:about="&prov;adoptedPlan">
    1.76 -        <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
    1.77 -        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
    1.78 -        <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
    1.79 -        <prov:category>qualified</prov:category>
    1.80 -        <rdfs:comment xml:lang="en">The Activity performed was described by the given plan resource. Activity specifications, as referred to by plan links, are out of scope of this           specification</rdfs:comment>
    1.81 -        <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
    1.82 -        <rdfs:domain rdf:resource="&prov;Association"/>
    1.83 -        <rdfs:range rdf:resource="&prov;Plan"/>
    1.84 -    </owl:ObjectProperty>
    1.85 -    
    1.86 -
    1.87 -
    1.88      <!-- http://www.w3.org/ns/prov#agent -->
    1.89  
    1.90      <owl:ObjectProperty rdf:about="&prov;agent">
    1.91 +        <rdfs:comment>This property behaves in spirit like rdf:object; it references the object of a prov:involved triple.</rdfs:comment>
    1.92          <prov:category>qualified</prov:category>
    1.93          <rdfs:range rdf:resource="&prov;Agent"/>
    1.94          <rdfs:domain rdf:resource="&prov;AgentInvolvement"/>
    1.95 @@ -160,20 +141,6 @@
    1.96      
    1.97  
    1.98  
    1.99 -    <!-- http://www.w3.org/ns/prov#endedAt -->
   1.100 -
   1.101 -    <owl:ObjectProperty rdf:about="&prov;endedAt">
   1.102 -        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
   1.103 -        <prov:category>core</prov:category>
   1.104 -        <rdfs:comment xml:lang="en">TODO: range should be an xsd:dateTime directly to avoid proliferation of bnodes and to keep it simple. The elaborate form should also be permitted, but more practical uses will want it directly.</rdfs:comment>
   1.105 -        <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
   1.106 -        <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity"/>
   1.107 -        <rdfs:domain rdf:resource="&prov;Activity"/>
   1.108 -        <rdfs:range rdf:resource="&prov;TimeInstant"/>
   1.109 -    </owl:ObjectProperty>
   1.110 -    
   1.111 -
   1.112 -
   1.113      <!-- http://www.w3.org/ns/prov#entity -->
   1.114  
   1.115      <owl:ObjectProperty rdf:about="&prov;entity">
   1.116 @@ -204,6 +171,20 @@
   1.117      
   1.118  
   1.119  
   1.120 +    <!-- http://www.w3.org/ns/prov#hadLocation -->
   1.121 +
   1.122 +    <owl:ObjectProperty rdf:about="&prov;hadLocation">
   1.123 +        <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
   1.124 +        <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
   1.125 +        <rdfs:comment>This property is not functional because the many values could be at a variety of granularies (In this room, in that chair).</rdfs:comment>
   1.126 +        <prov:category>core</prov:category>
   1.127 +        <rdfs:comment>DM: Location is an optional attribute of Entity and Activity.</rdfs:comment>
   1.128 +        <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Location"/>
   1.129 +        <rdfs:range rdf:resource="&prov;Location"/>
   1.130 +    </owl:ObjectProperty>
   1.131 +    
   1.132 +
   1.133 +
   1.134      <!-- http://www.w3.org/ns/prov#hadOriginalSource -->
   1.135  
   1.136      <owl:ObjectProperty rdf:about="&prov;hadOriginalSource">
   1.137 @@ -211,12 +192,28 @@
   1.138          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Original_Source"/>
   1.139          <rdfs:range rdf:resource="&prov;Entity"/>
   1.140          <rdfs:domain rdf:resource="&prov;Entity"/>
   1.141 -        <prov:involvementClass rdf:resource="&prov;Source"/>
   1.142 +        <prov:qualifiedForm rdf:resource="&prov;Source"/>
   1.143 +        <prov:qualifiedForm rdf:resource="&prov;qualifiedSource"/>
   1.144          <rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
   1.145      </owl:ObjectProperty>
   1.146      
   1.147  
   1.148  
   1.149 +    <!-- http://www.w3.org/ns/prov#hadPlan -->
   1.150 +
   1.151 +    <owl:ObjectProperty rdf:about="&prov;hadPlan">
   1.152 +        <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
   1.153 +        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
   1.154 +        <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
   1.155 +        <rdfs:comment xml:lang="en">The Activity performed was described by the given plan resource. Activity specifications, as referred to by plan links, are out of scope of this           specification</rdfs:comment>
   1.156 +        <prov:category>qualified</prov:category>
   1.157 +        <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
   1.158 +        <rdfs:domain rdf:resource="&prov;Association"/>
   1.159 +        <rdfs:range rdf:resource="&prov;Plan"/>
   1.160 +    </owl:ObjectProperty>
   1.161 +    
   1.162 +
   1.163 +
   1.164      <!-- http://www.w3.org/ns/prov#hadQuotedAgent -->
   1.165  
   1.166      <owl:ObjectProperty rdf:about="&prov;hadQuotedAgent">
   1.167 @@ -253,28 +250,6 @@
   1.168      
   1.169  
   1.170  
   1.171 -    <!-- http://www.w3.org/ns/prov#hadSpatialExtent -->
   1.172 -
   1.173 -    <owl:ObjectProperty rdf:about="&prov;hadSpatialExtent">
   1.174 -        <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
   1.175 -        <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
   1.176 -        <rdfs:comment>This property is not functional because the many values could be at a variety of granularies (In this room, in that chair).</rdfs:comment>
   1.177 -        <rdfs:comment>DM: Location is an optional attribute of Entity and Activity.</rdfs:comment>
   1.178 -        <prov:category>core</prov:category>
   1.179 -        <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Location"/>
   1.180 -        <rdfs:range rdf:resource="&prov;Location"/>
   1.181 -    </owl:ObjectProperty>
   1.182 -    
   1.183 -
   1.184 -
   1.185 -    <!-- http://www.w3.org/ns/prov#hadTemporalExtent -->
   1.186 -
   1.187 -    <owl:ObjectProperty rdf:about="&prov;hadTemporalExtent">
   1.188 -        <prov:category>core</prov:category>
   1.189 -    </owl:ObjectProperty>
   1.190 -    
   1.191 -
   1.192 -
   1.193      <!-- http://www.w3.org/ns/prov#hasAnnotation -->
   1.194  
   1.195      <owl:ObjectProperty rdf:about="&prov;hasAnnotation">
   1.196 @@ -293,29 +268,11 @@
   1.197  prov:involved should not be used without also using the subproperty.
   1.198  
   1.199  Subproperties of prov:involved may also be asserted directly without being qualified.</rdfs:comment>
   1.200 -        <prov:involvementClass rdf:resource="&prov;Involvement"/>
   1.201 +        <prov:qualifiedForm rdf:resource="&prov;Involvement"/>
   1.202      </owl:ObjectProperty>
   1.203      
   1.204  
   1.205  
   1.206 -    <!-- http://www.w3.org/ns/prov#occurredAt -->
   1.207 -
   1.208 -    <owl:ObjectProperty rdf:about="&prov;occurredAt">
   1.209 -        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
   1.210 -        <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
   1.211 -        <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
   1.212 -        <rdfs:domain rdf:resource="&prov;InstantaneousEvent"/>
   1.213 -        <rdfs:range rdf:resource="&prov;TimeInstant"/>
   1.214 -    </owl:ObjectProperty>
   1.215 -    
   1.216 -
   1.217 -
   1.218 -    <!-- http://www.w3.org/ns/prov#occurredDuring -->
   1.219 -
   1.220 -    <owl:ObjectProperty rdf:about="&prov;occurredDuring"/>
   1.221 -    
   1.222 -
   1.223 -
   1.224      <!-- http://www.w3.org/ns/prov#qualifiedAssociation -->
   1.225  
   1.226      <owl:ObjectProperty rdf:about="&prov;qualifiedAssociation">
   1.227 @@ -323,7 +280,7 @@
   1.228          <rdfs:comment>If this Activity prov:wasAssociatedWith Agent :ag, then it can qualify the Association using prov:qualifiedAssociation [ a prov:Association;  prov:agent :ag; :foo :bar ].</rdfs:comment>
   1.229          <prov:category>qualified</prov:category>
   1.230          <rdfs:domain rdf:resource="&prov;Activity"/>
   1.231 -        <rdfs:range rdf:resource="&prov;Agent"/>
   1.232 +        <rdfs:range rdf:resource="&prov;Association"/>
   1.233          <prov:unqualifiedForm rdf:resource="&prov;wasAssociatedWith"/>
   1.234      </owl:ObjectProperty>
   1.235      
   1.236 @@ -335,7 +292,7 @@
   1.237          <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
   1.238          <prov:category>qualified</prov:category>
   1.239          <rdfs:comment>If this Entity prov:wasAttributedTo Agent :ag, then it can qualify how it was  using prov:qualifiedAttribution [ a prov:Attribution;  prov:agent :ag; :foo :bar ].</rdfs:comment>
   1.240 -        <rdfs:range rdf:resource="&prov;Agent"/>
   1.241 +        <rdfs:range rdf:resource="&prov;Attribution"/>
   1.242          <rdfs:domain rdf:resource="&prov;Entity"/>
   1.243          <prov:unqualifiedForm rdf:resource="&prov;wasAttributedTo"/>
   1.244      </owl:ObjectProperty>
   1.245 @@ -348,7 +305,7 @@
   1.246          <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
   1.247          <prov:category>qualified</prov:category>
   1.248          <rdfs:comment>If this Entity prov:wasDerivedFrom Entity :e, then it can qualify how it was derived using prov:qualifiedDerivation [ a prov:Derivation;  prov:entity :e; :foo :bar ].</rdfs:comment>
   1.249 -        <rdfs:range rdf:resource="&prov;Entity"/>
   1.250 +        <rdfs:range rdf:resource="&prov;Derivation"/>
   1.251          <rdfs:domain rdf:resource="&prov;Entity"/>
   1.252          <prov:unqualifiedForm rdf:resource="&prov;wasDerivedFrom"/>
   1.253      </owl:ObjectProperty>
   1.254 @@ -362,7 +319,7 @@
   1.255          <prov:category>qualified</prov:category>
   1.256          <rdfs:comment>If this Activity prov:wasEndedBy Agent :ag, then it can qualify how it was ended using prov:qualifiedEnd [ a prov:End;  prov:agent :ag; :foo :bar ].</rdfs:comment>
   1.257          <rdfs:domain rdf:resource="&prov;Activity"/>
   1.258 -        <rdfs:range rdf:resource="&prov;Agent"/>
   1.259 +        <rdfs:range rdf:resource="&prov;End"/>
   1.260          <prov:unqualifiedForm rdf:resource="&prov;wasEndedBy"/>
   1.261      </owl:ObjectProperty>
   1.262      
   1.263 @@ -374,8 +331,8 @@
   1.264          <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
   1.265          <rdfs:comment>If this Activity prov:generated Entity :e, then it can qualify how it did performed the Generation using prov:qualifiedGeneration [ a prov:Generation;  prov:entity :e; :foo :bar ].</rdfs:comment>
   1.266          <prov:category>qualified</prov:category>
   1.267 -        <rdfs:range rdf:resource="&prov;Activity"/>
   1.268          <rdfs:domain rdf:resource="&prov;Entity"/>
   1.269 +        <rdfs:range rdf:resource="&prov;Generation"/>
   1.270          <prov:unqualifiedForm rdf:resource="&prov;wasGeneratedBy"/>
   1.271      </owl:ObjectProperty>
   1.272      
   1.273 @@ -388,7 +345,7 @@
   1.274          <rdfs:comment>If this Activity prov:wasInformedBy Activity :a, then it can qualify how it was Inform[ed] using prov:qualifiedInform [ a prov:Inform;  prov:activity :a; :foo :bar ].</rdfs:comment>
   1.275          <prov:category>qualified</prov:category>
   1.276          <rdfs:domain rdf:resource="&prov;Activity"/>
   1.277 -        <rdfs:range rdf:resource="&prov;Activity"/>
   1.278 +        <rdfs:range rdf:resource="&prov;Inform"/>
   1.279          <prov:unqualifiedForm rdf:resource="&prov;wasInformedBy"/>
   1.280      </owl:ObjectProperty>
   1.281      
   1.282 @@ -400,8 +357,8 @@
   1.283          <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
   1.284          <prov:category>qualified</prov:category>
   1.285          <rdfs:comment>If this Entity prov:wasQuotedFrom Entity :e, then it can qualify how using prov:qualifiedQuotation [ a prov:Quotation;  prov:entity :e; :foo :bar ].</rdfs:comment>
   1.286 -        <rdfs:range rdf:resource="&prov;Entity"/>
   1.287          <rdfs:domain rdf:resource="&prov;Entity"/>
   1.288 +        <rdfs:range rdf:resource="&prov;Quotation"/>
   1.289          <prov:unqualifiedForm rdf:resource="&prov;wasQuotedFrom"/>
   1.290      </owl:ObjectProperty>
   1.291      
   1.292 @@ -413,8 +370,8 @@
   1.293          <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
   1.294          <prov:category>qualified</prov:category>
   1.295          <rdfs:comment>If this Agent prov:actedOnBehalfOf Agent :ag, then it can qualify how with prov:qualifiedResponsibility [ a prov:Responsibility;  prov:agent :ag; :foo :bar ].</rdfs:comment>
   1.296 -        <rdfs:range rdf:resource="&prov;Agent"/>
   1.297          <rdfs:domain rdf:resource="&prov;Agent"/>
   1.298 +        <rdfs:range rdf:resource="&prov;Responsibility"/>
   1.299          <prov:unqualifiedForm rdf:resource="&prov;actedOnBehalfOf"/>
   1.300      </owl:ObjectProperty>
   1.301      
   1.302 @@ -427,7 +384,7 @@
   1.303          <rdfs:comment>If this Entity prov:wasRevisionOf Entity :e, then it can qualify how it was  revised using prov:qualifiedRevision [ a prov:Revision;  prov:entity :e; :foo :bar ].</rdfs:comment>
   1.304          <prov:category>qualified</prov:category>
   1.305          <rdfs:domain rdf:resource="&prov;Entity"/>
   1.306 -        <rdfs:range rdf:resource="&prov;Entity"/>
   1.307 +        <rdfs:range rdf:resource="&prov;Revision"/>
   1.308          <prov:unqualifiedForm rdf:resource="&prov;wasRevisionOf"/>
   1.309      </owl:ObjectProperty>
   1.310      
   1.311 @@ -439,8 +396,8 @@
   1.312          <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
   1.313          <prov:category>qualified</prov:category>
   1.314          <rdfs:comment>If this Entity prov:hadOriginalSource Entity :e, then it can qualify how using prov:qualifiedSource [ a prov:Source; prov:entity :e; :foo :bar ].</rdfs:comment>
   1.315 -        <rdfs:range rdf:resource="&prov;Entity"/>
   1.316          <rdfs:domain rdf:resource="&prov;Entity"/>
   1.317 +        <rdfs:range rdf:resource="&prov;Source"/>
   1.318          <prov:unqualifiedForm rdf:resource="&prov;hadOriginalSource"/>
   1.319      </owl:ObjectProperty>
   1.320      
   1.321 @@ -453,7 +410,7 @@
   1.322          <prov:category>qualified</prov:category>
   1.323          <rdfs:comment>If this Activity prov:wasStartedBy Agent :ag, then it can qualify how it was started using prov:qualifiedStart [ a prov:Start;  prov:agent :ag; :foo :bar ].</rdfs:comment>
   1.324          <rdfs:domain rdf:resource="&prov;Activity"/>
   1.325 -        <rdfs:range rdf:resource="&prov;Agent"/>
   1.326 +        <rdfs:range rdf:resource="&prov;Start"/>
   1.327          <prov:unqualifiedForm rdf:resource="&prov;wasStartedBy"/>
   1.328      </owl:ObjectProperty>
   1.329      
   1.330 @@ -465,8 +422,8 @@
   1.331          <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
   1.332          <prov:category>qualified</prov:category>
   1.333          <rdfs:comment>If this Activity prov:wasStartedByActivity :a, then it can qualify how it was started using prov:qualifiedStart [ a prov:Start;  prov:activity :a; :foo :bar ].</rdfs:comment>
   1.334 -        <rdfs:range rdf:resource="&prov;Activity"/>
   1.335          <rdfs:domain rdf:resource="&prov;Activity"/>
   1.336 +        <rdfs:range rdf:resource="&prov;StartByActivity"/>
   1.337          <prov:unqualifiedForm rdf:resource="&prov;wasStartedByActivity"/>
   1.338      </owl:ObjectProperty>
   1.339      
   1.340 @@ -490,7 +447,7 @@
   1.341          <rdfs:comment>If this Activity prov:used Entity :e, then it can qualify how it used it using prov:qualifiedUsage [ a prov:Usage; prov:entity :e; :foo :bar ].</rdfs:comment>
   1.342          <prov:category>qualified</prov:category>
   1.343          <rdfs:domain rdf:resource="&prov;Activity"/>
   1.344 -        <rdfs:range rdf:resource="&prov;Entity"/>
   1.345 +        <rdfs:range rdf:resource="&prov;Usage"/>
   1.346          <prov:unqualifiedForm rdf:resource="&prov;used"/>
   1.347      </owl:ObjectProperty>
   1.348      
   1.349 @@ -509,33 +466,17 @@
   1.350      
   1.351  
   1.352  
   1.353 -    <!-- http://www.w3.org/ns/prov#startedAt -->
   1.354 -
   1.355 -    <owl:ObjectProperty rdf:about="&prov;startedAt">
   1.356 -        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
   1.357 -        <prov:category>core</prov:category>
   1.358 -        <rdfs:comment>TODO: range should be an xsd:dateTime directly to avoid proliferation of bnodes and to keep it simple. The elaborate form should also be permitted, but more practical uses will want it directly.</rdfs:comment>
   1.359 -        <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
   1.360 -        <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity"/>
   1.361 -        <rdfs:domain rdf:resource="&prov;Activity"/>
   1.362 -        <rdfs:range rdf:resource="&prov;TimeInstant"/>
   1.363 -    </owl:ObjectProperty>
   1.364 -    
   1.365 -
   1.366 -
   1.367      <!-- http://www.w3.org/ns/prov#tracedTo -->
   1.368  
   1.369      <owl:ObjectProperty rdf:about="&prov;tracedTo">
   1.370          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribution"/>
   1.371          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Traceability"/>
   1.372 -        <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#imprecise-1"/>
   1.373 -        <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#imprecise-n"/>
   1.374          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
   1.375 -        <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#precise-1"/>
   1.376          <rdfs:range rdf:resource="&prov;Entity"/>
   1.377          <rdfs:domain rdf:resource="&prov;Entity"/>
   1.378 -        <prov:involvementClass rdf:resource="&prov;Trace"/>
   1.379 +        <prov:qualifiedForm rdf:resource="&prov;Trace"/>
   1.380          <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
   1.381 +        <prov:qualifiedForm rdf:resource="&prov;qualifiedTrace"/>
   1.382      </owl:ObjectProperty>
   1.383      
   1.384  
   1.385 @@ -551,9 +492,10 @@
   1.386          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
   1.387          <rdfs:domain rdf:resource="&prov;Activity"/>
   1.388          <rdfs:range rdf:resource="&prov;Entity"/>
   1.389 -        <prov:involvementClass rdf:resource="&prov;Usage"/>
   1.390          <rdfs:seeAlso rdf:resource="&prov;Usage"/>
   1.391 +        <prov:qualifiedForm rdf:resource="&prov;Usage"/>
   1.392          <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
   1.393 +        <prov:qualifiedForm rdf:resource="&prov;qualifiedUsage"/>
   1.394      </owl:ObjectProperty>
   1.395      
   1.396  
   1.397 @@ -567,8 +509,9 @@
   1.398          <rdfs:domain rdf:resource="&prov;Activity"/>
   1.399          <rdfs:range rdf:resource="&prov;Agent"/>
   1.400          <rdfs:seeAlso rdf:resource="&prov;Association"/>
   1.401 -        <prov:involvementClass rdf:resource="&prov;Association"/>
   1.402 +        <prov:qualifiedForm rdf:resource="&prov;Association"/>
   1.403          <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
   1.404 +        <prov:qualifiedForm rdf:resource="&prov;qualifiedAssociation"/>
   1.405      </owl:ObjectProperty>
   1.406      
   1.407  
   1.408 @@ -578,8 +521,9 @@
   1.409      <owl:ObjectProperty rdf:about="&prov;wasAttributedTo">
   1.410          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribution"/>
   1.411          <rdfs:range rdf:resource="&prov;Agent"/>
   1.412 -        <prov:involvementClass rdf:resource="&prov;Attribution"/>
   1.413 +        <prov:qualifiedForm rdf:resource="&prov;Attribution"/>
   1.414          <rdfs:domain rdf:resource="&prov;Entity"/>
   1.415 +        <prov:qualifiedForm rdf:resource="&prov;qualifiedAttribution"/>
   1.416          <rdfs:subPropertyOf rdf:resource="&prov;tracedTo"/>
   1.417      </owl:ObjectProperty>
   1.418      <owl:Axiom>
   1.419 @@ -602,9 +546,10 @@
   1.420          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#imprecise-n"/>
   1.421          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
   1.422          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#precise-1"/>
   1.423 -        <prov:involvementClass rdf:resource="&prov;Derivation"/>
   1.424 +        <prov:qualifiedForm rdf:resource="&prov;Derivation"/>
   1.425          <rdfs:range rdf:resource="&prov;Entity"/>
   1.426          <rdfs:domain rdf:resource="&prov;Entity"/>
   1.427 +        <prov:qualifiedForm rdf:resource="&prov;qualifiedDerivation"/>
   1.428          <rdfs:subPropertyOf rdf:resource="&prov;tracedTo"/>
   1.429      </owl:ObjectProperty>
   1.430      
   1.431 @@ -614,7 +559,8 @@
   1.432  
   1.433      <owl:ObjectProperty rdf:about="&prov;wasEndedBy">
   1.434          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Ending"/>
   1.435 -        <prov:involvementClass rdf:resource="&prov;End"/>
   1.436 +        <prov:qualifiedForm rdf:resource="&prov;End"/>
   1.437 +        <prov:qualifiedForm rdf:resource="&prov;qualifiedEnd"/>
   1.438          <rdfs:subPropertyOf rdf:resource="&prov;wasAssociatedWith"/>
   1.439      </owl:ObjectProperty>
   1.440      
   1.441 @@ -632,8 +578,9 @@
   1.442          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
   1.443          <rdfs:range rdf:resource="&prov;Activity"/>
   1.444          <rdfs:domain rdf:resource="&prov;Entity"/>
   1.445 -        <prov:involvementClass rdf:resource="&prov;Generation"/>
   1.446 +        <prov:qualifiedForm rdf:resource="&prov;Generation"/>
   1.447          <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
   1.448 +        <prov:qualifiedForm rdf:resource="&prov;qualifiedGeneration"/>
   1.449      </owl:ObjectProperty>
   1.450      
   1.451  
   1.452 @@ -645,8 +592,9 @@
   1.453          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Starting_again"/>
   1.454          <rdfs:domain rdf:resource="&prov;Activity"/>
   1.455          <rdfs:range rdf:resource="&prov;Activity"/>
   1.456 -        <prov:involvementClass rdf:resource="&prov;Inform"/>
   1.457 +        <prov:qualifiedForm rdf:resource="&prov;Inform"/>
   1.458          <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
   1.459 +        <prov:qualifiedForm rdf:resource="&prov;qualifiedInform"/>
   1.460      </owl:ObjectProperty>
   1.461      
   1.462  
   1.463 @@ -658,7 +606,8 @@
   1.464          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Quotation"/>
   1.465          <rdfs:domain rdf:resource="&prov;Entity"/>
   1.466          <rdfs:range rdf:resource="&prov;Entity"/>
   1.467 -        <prov:involvementClass rdf:resource="&prov;Quotation"/>
   1.468 +        <prov:qualifiedForm rdf:resource="&prov;Quotation"/>
   1.469 +        <prov:qualifiedForm rdf:resource="&prov;qualifiedQuotation"/>
   1.470          <rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
   1.471      </owl:ObjectProperty>
   1.472      
   1.473 @@ -670,7 +619,8 @@
   1.474          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Revision"/>
   1.475          <rdfs:range rdf:resource="&prov;Entity"/>
   1.476          <rdfs:domain rdf:resource="&prov;Entity"/>
   1.477 -        <prov:involvementClass rdf:resource="&prov;Revision"/>
   1.478 +        <prov:qualifiedForm rdf:resource="&prov;Revision"/>
   1.479 +        <prov:qualifiedForm rdf:resource="&prov;qualifiedRevision"/>
   1.480          <rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
   1.481      </owl:ObjectProperty>
   1.482      
   1.483 @@ -680,7 +630,8 @@
   1.484  
   1.485      <owl:ObjectProperty rdf:about="&prov;wasStartedBy">
   1.486          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Starting"/>
   1.487 -        <prov:involvementClass rdf:resource="&prov;Start"/>
   1.488 +        <prov:qualifiedForm rdf:resource="&prov;Start"/>
   1.489 +        <prov:qualifiedForm rdf:resource="&prov;qualifiedStart"/>
   1.490          <rdfs:subPropertyOf rdf:resource="&prov;wasAssociatedWith"/>
   1.491      </owl:ObjectProperty>
   1.492      
   1.493 @@ -692,8 +643,9 @@
   1.494          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Started_by_activity"/>
   1.495          <rdfs:range rdf:resource="&prov;Activity"/>
   1.496          <rdfs:domain rdf:resource="&prov;Activity"/>
   1.497 -        <prov:involvementClass rdf:resource="&prov;StartByActivity"/>
   1.498 +        <prov:qualifiedForm rdf:resource="&prov;StartByActivity"/>
   1.499          <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
   1.500 +        <prov:qualifiedForm rdf:resource="&prov;qualifiedStartByActivity"/>
   1.501      </owl:ObjectProperty>
   1.502      
   1.503  
   1.504 @@ -709,6 +661,25 @@
   1.505      
   1.506  
   1.507  
   1.508 +    <!-- http://www.w3.org/ns/prov#atTime -->
   1.509 +
   1.510 +    <owl:DatatypeProperty rdf:about="&prov;atTime">
   1.511 +        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
   1.512 +        <rdfs:range rdf:resource="&xsd;dateTime"/>
   1.513 +        <rdfs:domain rdf:resource="&prov;InstantaneousEvent"/>
   1.514 +    </owl:DatatypeProperty>
   1.515 +    
   1.516 +
   1.517 +
   1.518 +    <!-- http://www.w3.org/ns/prov#endedAtTime -->
   1.519 +
   1.520 +    <owl:DatatypeProperty rdf:about="&prov;endedAtTime">
   1.521 +        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
   1.522 +        <rdfs:range rdf:resource="&xsd;dateTime"/>
   1.523 +    </owl:DatatypeProperty>
   1.524 +    
   1.525 +
   1.526 +
   1.527      <!-- http://www.w3.org/ns/prov#inXSDDateTime -->
   1.528  
   1.529      <owl:DatatypeProperty rdf:about="&prov;inXSDDateTime">
   1.530 @@ -718,6 +689,15 @@
   1.531      
   1.532  
   1.533  
   1.534 +    <!-- http://www.w3.org/ns/prov#startedAtTime -->
   1.535 +
   1.536 +    <owl:DatatypeProperty rdf:about="&prov;startedAtTime">
   1.537 +        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
   1.538 +        <rdfs:range rdf:resource="&xsd;dateTime"/>
   1.539 +    </owl:DatatypeProperty>
   1.540 +    
   1.541 +
   1.542 +
   1.543      <!-- 
   1.544      ///////////////////////////////////////////////////////////////////////////////////////
   1.545      //
   1.546 @@ -784,7 +764,7 @@
   1.547          <prov:category>qualified</prov:category>
   1.548          <rdfs:comment>An instance of prov:Association provides additional descriptions about the binary prov:wasAssociatedWith relation from a prov:Activity to some prov:Agent that is responsible for it. For example, :baking prov:wasAssociatedWith :baker; prov:qualified [ a prov:Association; prov:entity :baker; :foo :bar ].</rdfs:comment>
   1.549          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
   1.550 -        <prov:involvementProperty rdf:resource="&prov;wasAssociatedWith"/>
   1.551 +        <prov:unqualifiedForm rdf:resource="&prov;wasAssociatedWith"/>
   1.552      </owl:Class>
   1.553      
   1.554  
   1.555 @@ -796,7 +776,7 @@
   1.556          <rdfs:comment>An instance of prov:Attribution provides additional descriptions about the binary prov:wasAttributedTo relation from a prov:Entity to some prov:Agent that is responsible for it. For example, :cake prov:wasAttributedTo :baker; prov:qualified [ a prov:Attribution; prov:entity :baker; :foo :bar ].</rdfs:comment>
   1.557          <prov:category>qualified</prov:category>
   1.558          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribution"/>
   1.559 -        <prov:involvementProperty rdf:resource="&prov;wasAttributedTo"/>
   1.560 +        <prov:unqualifiedForm rdf:resource="&prov;wasAttributedTo"/>
   1.561      </owl:Class>
   1.562      
   1.563  
   1.564 @@ -820,7 +800,7 @@
   1.565          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Revision"/>
   1.566          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Traceability"/>
   1.567          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
   1.568 -        <prov:involvementProperty rdf:resource="&prov;wasDerivedFrom"/>
   1.569 +        <prov:unqualifiedForm rdf:resource="&prov;wasDerivedFrom"/>
   1.570      </owl:Class>
   1.571      
   1.572  
   1.573 @@ -833,7 +813,7 @@
   1.574          <prov:category>qualified</prov:category>
   1.575          <rdfs:comment>An Agent ends an Activity, optionally at a particular TimeInstant.</rdfs:comment>
   1.576          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Ending"/>
   1.577 -        <prov:involvementProperty rdf:resource="&prov;wasEndedBy"/>
   1.578 +        <prov:unqualifiedForm rdf:resource="&prov;wasEndedBy"/>
   1.579      </owl:Class>
   1.580      
   1.581  
   1.582 @@ -867,7 +847,7 @@
   1.583          <rdfs:comment xml:lang="de">An instance of prov:Generation provides additional descriptions about the binary prov:wasGeneratedBy relation from a generated prov:Entity to the prov:Activity that generated it. For example, :cake prov:wasGeneratedBy :baking; prov:qualified [ a prov:Generation; prov:entity :baking; :foo :bar ].</rdfs:comment>
   1.584          <prov:category>core</prov:category>
   1.585          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Generation"/>
   1.586 -        <prov:involvementProperty rdf:resource="&prov;wasGeneratedBy"/>
   1.587 +        <prov:unqualifiedForm rdf:resource="&prov;wasGeneratedBy"/>
   1.588      </owl:Class>
   1.589      
   1.590  
   1.591 @@ -877,7 +857,7 @@
   1.592      <owl:Class rdf:about="&prov;Inform">
   1.593          <rdfs:subClassOf rdf:resource="&prov;ActivityInvolvement"/>
   1.594          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity_Ordering"/>
   1.595 -        <prov:involvementProperty rdf:resource="&prov;wasInformedBy"/>
   1.596 +        <prov:unqualifiedForm rdf:resource="&prov;wasInformedBy"/>
   1.597      </owl:Class>
   1.598      
   1.599  
   1.600 @@ -898,7 +878,7 @@
   1.601          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Generation"/>
   1.602          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
   1.603          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
   1.604 -        <prov:involvementProperty rdf:resource="&prov;involved"/>
   1.605 +        <prov:unqualifiedForm rdf:resource="&prov;involved"/>
   1.606      </owl:Class>
   1.607      
   1.608  
   1.609 @@ -962,7 +942,7 @@
   1.610          <rdfs:comment xml:lang="en">TODO: Shouldn&#39;t Quotation be a subtype of Derivation (and same for the binary relations?) -Tim</rdfs:comment>
   1.611          <prov:category>additional</prov:category>
   1.612          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Quotation"/>
   1.613 -        <prov:involvementProperty rdf:resource="&prov;wasQuotedFrom"/>
   1.614 +        <prov:unqualifiedForm rdf:resource="&prov;wasQuotedFrom"/>
   1.615      </owl:Class>
   1.616      
   1.617  
   1.618 @@ -974,7 +954,7 @@
   1.619          <rdfs:comment xml:lang="en">An instance of prov:Responsibility provides additional descriptions about the binary prov:actedOnBehalfOf relation from a performing prov:Agent to some prov:Agent for whom it was performed. For example, :mixing prov:wasAssociatedWith :toddler . :toddler prov:actedOnBehalfOf :mother; prov:qualified [ a prov:Responsiblity; prov:entity :mother; :foo :bar ].</rdfs:comment>
   1.620          <prov:category>qualified</prov:category>
   1.621          <rdfs:comment rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
   1.622 -        <prov:involvementProperty rdf:resource="&prov;actedOnBehalfOf"/>
   1.623 +        <prov:unqualifiedForm rdf:resource="&prov;actedOnBehalfOf"/>
   1.624      </owl:Class>
   1.625      
   1.626  
   1.627 @@ -985,7 +965,7 @@
   1.628          <rdfs:subClassOf rdf:resource="&prov;Source"/>
   1.629          <prov:category>additional</prov:category>
   1.630          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Revision"/>
   1.631 -        <prov:involvementProperty rdf:resource="&prov;wasRevisionOf"/>
   1.632 +        <prov:unqualifiedForm rdf:resource="&prov;wasRevisionOf"/>
   1.633      </owl:Class>
   1.634      
   1.635  
   1.636 @@ -1015,7 +995,7 @@
   1.637          <rdfs:subClassOf rdf:resource="&prov;Derivation"/>
   1.638          <prov:category>additional</prov:category>
   1.639          <rdfs:comment rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Original_Source"/>
   1.640 -        <prov:involvementProperty rdf:resource="&prov;hadOriginalSource"/>
   1.641 +        <prov:unqualifiedForm rdf:resource="&prov;hadOriginalSource"/>
   1.642      </owl:Class>
   1.643      
   1.644  
   1.645 @@ -1028,7 +1008,7 @@
   1.646          <rdfs:comment>An Agent starts an Activity, optionally at a particular TimeInstant.</rdfs:comment>
   1.647          <prov:category>qualified</prov:category>
   1.648          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Starting"/>
   1.649 -        <prov:involvementProperty rdf:resource="&prov;wasStartedBy"/>
   1.650 +        <prov:unqualifiedForm rdf:resource="&prov;wasStartedBy"/>
   1.651      </owl:Class>
   1.652      
   1.653  
   1.654 @@ -1038,7 +1018,7 @@
   1.655      <owl:Class rdf:about="&prov;StartByActivity">
   1.656          <rdfs:subClassOf rdf:resource="&prov;ActivityInvolvement"/>
   1.657          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Started_by_activity"/>
   1.658 -        <prov:involvementProperty rdf:resource="&prov;wasStartedByActivity"/>
   1.659 +        <prov:unqualifiedForm rdf:resource="&prov;wasStartedByActivity"/>
   1.660      </owl:Class>
   1.661      
   1.662  
   1.663 @@ -1066,7 +1046,7 @@
   1.664          <rdfs:comment xml:lang="en">An instance of prov:Trace provides additional descriptions about the binary prov:tracedTo relation from some prov:Element (Entity or Activity) to some other prov:Element. For example, :stomach_ache prov:tracedTo :spoon; prov:qualified [ a prov:Trace; prov:entity :spoon; :foo :bar ].</rdfs:comment>
   1.665          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Revision"/>
   1.666          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Traceability"/>
   1.667 -        <prov:involvementProperty rdf:resource="&prov;tracedTo"/>
   1.668 +        <prov:unqualifiedForm rdf:resource="&prov;tracedTo"/>
   1.669      </owl:Class>
   1.670      
   1.671  
   1.672 @@ -1078,7 +1058,7 @@
   1.673          <rdfs:subClassOf rdf:resource="&prov;InstantaneousEvent"/>
   1.674          <prov:category>core</prov:category>
   1.675          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
   1.676 -        <prov:involvementProperty rdf:resource="&prov;used"/>
   1.677 +        <prov:unqualifiedForm rdf:resource="&prov;used"/>
   1.678      </owl:Class>
   1.679  </rdf:RDF>
   1.680