--- a/ontology/ProvenanceOntology.owl Tue Mar 06 15:42:36 2012 -0500
+++ b/ontology/ProvenanceOntology.owl Tue Mar 06 16:36:51 2012 -0500
@@ -1,7 +1,6 @@
<?xml version="1.0"?>
-
<!DOCTYPE rdf:RDF [
<!ENTITY prov "http://www.w3.org/ns/prov#" >
<!ENTITY owl "http://www.w3.org/2002/07/owl#" >
@@ -40,11 +39,19 @@
///////////////////////////////////////////////////////////////////////////////////////
-->
- <owl:AnnotationProperty rdf:about="&prov;involvementClass">
+ <owl:AnnotationProperty rdf:about="&rdfs;seeAlso"/>
+ <owl:AnnotationProperty rdf:about="&prov;category"/>
+ <owl:AnnotationProperty rdf:about="&prov;unqualifiedForm">
+ <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
+ </owl:AnnotationProperty>
+ <owl:AnnotationProperty rdf:about="&prov;unqualifiedForm">
+ <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
+ </owl:AnnotationProperty>
+ <owl:AnnotationProperty rdf:about="&prov;qualifiedForm">
<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.
Example:
- prov:wasGeneratedBy prov:involvementClass prov:Generation .
+ prov:wasGeneratedBy prov:qualifiedForm prov:Generation .
Then this unqualified assertion:
:entity1 prov:wasGeneratedBy :activity1 .
@@ -58,18 +65,7 @@
Note how the range of the unqualified property is mirrored by the prov:activity or prov:entity on the involvement class.</rdfs:comment>
<rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
</owl:AnnotationProperty>
- <owl:AnnotationProperty rdf:about="&rdfs;seeAlso"/>
- <owl:AnnotationProperty rdf:about="&prov;category"/>
- <owl:AnnotationProperty rdf:about="&prov;unqualifiedForm">
- <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
- </owl:AnnotationProperty>
- <owl:AnnotationProperty rdf:about="&prov;involvementProperty">
- <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
- </owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&rdfs;label"/>
- <owl:AnnotationProperty rdf:about="&prov;qualifiedForm">
- <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
- </owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&rdfs;comment"/>
@@ -97,7 +93,6 @@
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
<rdfs:domain rdf:resource="&prov;Agent"/>
<rdfs:range rdf:resource="&prov;Agent"/>
- <prov:involvementClass rdf:resource="&prov;Responsibility"/>
<prov:qualifiedForm rdf:resource="&prov;Responsibility"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedResponsibility"/>
@@ -108,7 +103,7 @@
<!-- http://www.w3.org/ns/prov#activity -->
<owl:ObjectProperty rdf:about="&prov;activity">
- <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>
+ <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>
<prov:category>qualified</prov:category>
<rdfs:comment xml:lang="en">This property behaves in spirit like rdf:object; it references the object of a prov:involved triple.</rdfs:comment>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity_Ordering"/>
@@ -121,24 +116,10 @@
- <!-- http://www.w3.org/ns/prov#adoptedPlan -->
-
- <owl:ObjectProperty rdf:about="&prov;adoptedPlan">
- <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
- <rdf:type rdf:resource="&owl;FunctionalProperty"/>
- <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
- <prov:category>qualified</prov:category>
- <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>
- <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
- <rdfs:domain rdf:resource="&prov;Association"/>
- <rdfs:range rdf:resource="&prov;Plan"/>
- </owl:ObjectProperty>
-
-
-
<!-- http://www.w3.org/ns/prov#agent -->
<owl:ObjectProperty rdf:about="&prov;agent">
+ <rdfs:comment>This property behaves in spirit like rdf:object; it references the object of a prov:involved triple.</rdfs:comment>
<prov:category>qualified</prov:category>
<rdfs:range rdf:resource="&prov;Agent"/>
<rdfs:domain rdf:resource="&prov;AgentInvolvement"/>
@@ -160,20 +141,6 @@
- <!-- http://www.w3.org/ns/prov#endedAt -->
-
- <owl:ObjectProperty rdf:about="&prov;endedAt">
- <rdf:type rdf:resource="&owl;FunctionalProperty"/>
- <prov:category>core</prov:category>
- <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>
- <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
- <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity"/>
- <rdfs:domain rdf:resource="&prov;Activity"/>
- <rdfs:range rdf:resource="&prov;TimeInstant"/>
- </owl:ObjectProperty>
-
-
-
<!-- http://www.w3.org/ns/prov#entity -->
<owl:ObjectProperty rdf:about="&prov;entity">
@@ -204,6 +171,20 @@
+ <!-- http://www.w3.org/ns/prov#hadLocation -->
+
+ <owl:ObjectProperty rdf:about="&prov;hadLocation">
+ <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+ <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+ <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>
+ <prov:category>core</prov:category>
+ <rdfs:comment>DM: Location is an optional attribute of Entity and Activity.</rdfs:comment>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Location"/>
+ <rdfs:range rdf:resource="&prov;Location"/>
+ </owl:ObjectProperty>
+
+
+
<!-- http://www.w3.org/ns/prov#hadOriginalSource -->
<owl:ObjectProperty rdf:about="&prov;hadOriginalSource">
@@ -211,12 +192,28 @@
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Original_Source"/>
<rdfs:range rdf:resource="&prov;Entity"/>
<rdfs:domain rdf:resource="&prov;Entity"/>
- <prov:involvementClass rdf:resource="&prov;Source"/>
+ <prov:qualifiedForm rdf:resource="&prov;Source"/>
+ <prov:qualifiedForm rdf:resource="&prov;qualifiedSource"/>
<rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
</owl:ObjectProperty>
+ <!-- http://www.w3.org/ns/prov#hadPlan -->
+
+ <owl:ObjectProperty rdf:about="&prov;hadPlan">
+ <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+ <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+ <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>
+ <prov:category>qualified</prov:category>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
+ <rdfs:domain rdf:resource="&prov;Association"/>
+ <rdfs:range rdf:resource="&prov;Plan"/>
+ </owl:ObjectProperty>
+
+
+
<!-- http://www.w3.org/ns/prov#hadQuotedAgent -->
<owl:ObjectProperty rdf:about="&prov;hadQuotedAgent">
@@ -253,28 +250,6 @@
- <!-- http://www.w3.org/ns/prov#hadSpatialExtent -->
-
- <owl:ObjectProperty rdf:about="&prov;hadSpatialExtent">
- <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
- <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
- <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>
- <rdfs:comment>DM: Location is an optional attribute of Entity and Activity.</rdfs:comment>
- <prov:category>core</prov:category>
- <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Location"/>
- <rdfs:range rdf:resource="&prov;Location"/>
- </owl:ObjectProperty>
-
-
-
- <!-- http://www.w3.org/ns/prov#hadTemporalExtent -->
-
- <owl:ObjectProperty rdf:about="&prov;hadTemporalExtent">
- <prov:category>core</prov:category>
- </owl:ObjectProperty>
-
-
-
<!-- http://www.w3.org/ns/prov#hasAnnotation -->
<owl:ObjectProperty rdf:about="&prov;hasAnnotation">
@@ -293,29 +268,11 @@
prov:involved should not be used without also using the subproperty.
Subproperties of prov:involved may also be asserted directly without being qualified.</rdfs:comment>
- <prov:involvementClass rdf:resource="&prov;Involvement"/>
+ <prov:qualifiedForm rdf:resource="&prov;Involvement"/>
</owl:ObjectProperty>
- <!-- http://www.w3.org/ns/prov#occurredAt -->
-
- <owl:ObjectProperty rdf:about="&prov;occurredAt">
- <rdf:type rdf:resource="&owl;FunctionalProperty"/>
- <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
- <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
- <rdfs:domain rdf:resource="&prov;InstantaneousEvent"/>
- <rdfs:range rdf:resource="&prov;TimeInstant"/>
- </owl:ObjectProperty>
-
-
-
- <!-- http://www.w3.org/ns/prov#occurredDuring -->
-
- <owl:ObjectProperty rdf:about="&prov;occurredDuring"/>
-
-
-
<!-- http://www.w3.org/ns/prov#qualifiedAssociation -->
<owl:ObjectProperty rdf:about="&prov;qualifiedAssociation">
@@ -323,7 +280,7 @@
<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>
<prov:category>qualified</prov:category>
<rdfs:domain rdf:resource="&prov;Activity"/>
- <rdfs:range rdf:resource="&prov;Agent"/>
+ <rdfs:range rdf:resource="&prov;Association"/>
<prov:unqualifiedForm rdf:resource="&prov;wasAssociatedWith"/>
</owl:ObjectProperty>
@@ -335,7 +292,7 @@
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<prov:category>qualified</prov:category>
<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>
- <rdfs:range rdf:resource="&prov;Agent"/>
+ <rdfs:range rdf:resource="&prov;Attribution"/>
<rdfs:domain rdf:resource="&prov;Entity"/>
<prov:unqualifiedForm rdf:resource="&prov;wasAttributedTo"/>
</owl:ObjectProperty>
@@ -348,7 +305,7 @@
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<prov:category>qualified</prov:category>
<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>
- <rdfs:range rdf:resource="&prov;Entity"/>
+ <rdfs:range rdf:resource="&prov;Derivation"/>
<rdfs:domain rdf:resource="&prov;Entity"/>
<prov:unqualifiedForm rdf:resource="&prov;wasDerivedFrom"/>
</owl:ObjectProperty>
@@ -362,7 +319,7 @@
<prov:category>qualified</prov:category>
<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>
<rdfs:domain rdf:resource="&prov;Activity"/>
- <rdfs:range rdf:resource="&prov;Agent"/>
+ <rdfs:range rdf:resource="&prov;End"/>
<prov:unqualifiedForm rdf:resource="&prov;wasEndedBy"/>
</owl:ObjectProperty>
@@ -374,8 +331,8 @@
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<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>
<prov:category>qualified</prov:category>
- <rdfs:range rdf:resource="&prov;Activity"/>
<rdfs:domain rdf:resource="&prov;Entity"/>
+ <rdfs:range rdf:resource="&prov;Generation"/>
<prov:unqualifiedForm rdf:resource="&prov;wasGeneratedBy"/>
</owl:ObjectProperty>
@@ -388,7 +345,7 @@
<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>
<prov:category>qualified</prov:category>
<rdfs:domain rdf:resource="&prov;Activity"/>
- <rdfs:range rdf:resource="&prov;Activity"/>
+ <rdfs:range rdf:resource="&prov;Inform"/>
<prov:unqualifiedForm rdf:resource="&prov;wasInformedBy"/>
</owl:ObjectProperty>
@@ -400,8 +357,8 @@
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<prov:category>qualified</prov:category>
<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>
- <rdfs:range rdf:resource="&prov;Entity"/>
<rdfs:domain rdf:resource="&prov;Entity"/>
+ <rdfs:range rdf:resource="&prov;Quotation"/>
<prov:unqualifiedForm rdf:resource="&prov;wasQuotedFrom"/>
</owl:ObjectProperty>
@@ -413,8 +370,8 @@
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<prov:category>qualified</prov:category>
<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>
- <rdfs:range rdf:resource="&prov;Agent"/>
<rdfs:domain rdf:resource="&prov;Agent"/>
+ <rdfs:range rdf:resource="&prov;Responsibility"/>
<prov:unqualifiedForm rdf:resource="&prov;actedOnBehalfOf"/>
</owl:ObjectProperty>
@@ -427,7 +384,7 @@
<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>
<prov:category>qualified</prov:category>
<rdfs:domain rdf:resource="&prov;Entity"/>
- <rdfs:range rdf:resource="&prov;Entity"/>
+ <rdfs:range rdf:resource="&prov;Revision"/>
<prov:unqualifiedForm rdf:resource="&prov;wasRevisionOf"/>
</owl:ObjectProperty>
@@ -439,8 +396,8 @@
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<prov:category>qualified</prov:category>
<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>
- <rdfs:range rdf:resource="&prov;Entity"/>
<rdfs:domain rdf:resource="&prov;Entity"/>
+ <rdfs:range rdf:resource="&prov;Source"/>
<prov:unqualifiedForm rdf:resource="&prov;hadOriginalSource"/>
</owl:ObjectProperty>
@@ -453,7 +410,7 @@
<prov:category>qualified</prov:category>
<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>
<rdfs:domain rdf:resource="&prov;Activity"/>
- <rdfs:range rdf:resource="&prov;Agent"/>
+ <rdfs:range rdf:resource="&prov;Start"/>
<prov:unqualifiedForm rdf:resource="&prov;wasStartedBy"/>
</owl:ObjectProperty>
@@ -465,8 +422,8 @@
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<prov:category>qualified</prov:category>
<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>
- <rdfs:range rdf:resource="&prov;Activity"/>
<rdfs:domain rdf:resource="&prov;Activity"/>
+ <rdfs:range rdf:resource="&prov;StartByActivity"/>
<prov:unqualifiedForm rdf:resource="&prov;wasStartedByActivity"/>
</owl:ObjectProperty>
@@ -490,7 +447,7 @@
<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>
<prov:category>qualified</prov:category>
<rdfs:domain rdf:resource="&prov;Activity"/>
- <rdfs:range rdf:resource="&prov;Entity"/>
+ <rdfs:range rdf:resource="&prov;Usage"/>
<prov:unqualifiedForm rdf:resource="&prov;used"/>
</owl:ObjectProperty>
@@ -509,33 +466,17 @@
- <!-- http://www.w3.org/ns/prov#startedAt -->
-
- <owl:ObjectProperty rdf:about="&prov;startedAt">
- <rdf:type rdf:resource="&owl;FunctionalProperty"/>
- <prov:category>core</prov:category>
- <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>
- <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
- <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity"/>
- <rdfs:domain rdf:resource="&prov;Activity"/>
- <rdfs:range rdf:resource="&prov;TimeInstant"/>
- </owl:ObjectProperty>
-
-
-
<!-- http://www.w3.org/ns/prov#tracedTo -->
<owl:ObjectProperty rdf:about="&prov;tracedTo">
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribution"/>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Traceability"/>
- <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#imprecise-1"/>
- <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#imprecise-n"/>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
- <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#precise-1"/>
<rdfs:range rdf:resource="&prov;Entity"/>
<rdfs:domain rdf:resource="&prov;Entity"/>
- <prov:involvementClass rdf:resource="&prov;Trace"/>
+ <prov:qualifiedForm rdf:resource="&prov;Trace"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
+ <prov:qualifiedForm rdf:resource="&prov;qualifiedTrace"/>
</owl:ObjectProperty>
@@ -551,9 +492,10 @@
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
<rdfs:domain rdf:resource="&prov;Activity"/>
<rdfs:range rdf:resource="&prov;Entity"/>
- <prov:involvementClass rdf:resource="&prov;Usage"/>
<rdfs:seeAlso rdf:resource="&prov;Usage"/>
+ <prov:qualifiedForm rdf:resource="&prov;Usage"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
+ <prov:qualifiedForm rdf:resource="&prov;qualifiedUsage"/>
</owl:ObjectProperty>
@@ -567,8 +509,9 @@
<rdfs:domain rdf:resource="&prov;Activity"/>
<rdfs:range rdf:resource="&prov;Agent"/>
<rdfs:seeAlso rdf:resource="&prov;Association"/>
- <prov:involvementClass rdf:resource="&prov;Association"/>
+ <prov:qualifiedForm rdf:resource="&prov;Association"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
+ <prov:qualifiedForm rdf:resource="&prov;qualifiedAssociation"/>
</owl:ObjectProperty>
@@ -578,8 +521,9 @@
<owl:ObjectProperty rdf:about="&prov;wasAttributedTo">
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribution"/>
<rdfs:range rdf:resource="&prov;Agent"/>
- <prov:involvementClass rdf:resource="&prov;Attribution"/>
+ <prov:qualifiedForm rdf:resource="&prov;Attribution"/>
<rdfs:domain rdf:resource="&prov;Entity"/>
+ <prov:qualifiedForm rdf:resource="&prov;qualifiedAttribution"/>
<rdfs:subPropertyOf rdf:resource="&prov;tracedTo"/>
</owl:ObjectProperty>
<owl:Axiom>
@@ -602,9 +546,10 @@
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#imprecise-n"/>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#precise-1"/>
- <prov:involvementClass rdf:resource="&prov;Derivation"/>
+ <prov:qualifiedForm rdf:resource="&prov;Derivation"/>
<rdfs:range rdf:resource="&prov;Entity"/>
<rdfs:domain rdf:resource="&prov;Entity"/>
+ <prov:qualifiedForm rdf:resource="&prov;qualifiedDerivation"/>
<rdfs:subPropertyOf rdf:resource="&prov;tracedTo"/>
</owl:ObjectProperty>
@@ -614,7 +559,8 @@
<owl:ObjectProperty rdf:about="&prov;wasEndedBy">
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Ending"/>
- <prov:involvementClass rdf:resource="&prov;End"/>
+ <prov:qualifiedForm rdf:resource="&prov;End"/>
+ <prov:qualifiedForm rdf:resource="&prov;qualifiedEnd"/>
<rdfs:subPropertyOf rdf:resource="&prov;wasAssociatedWith"/>
</owl:ObjectProperty>
@@ -632,8 +578,9 @@
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
<rdfs:range rdf:resource="&prov;Activity"/>
<rdfs:domain rdf:resource="&prov;Entity"/>
- <prov:involvementClass rdf:resource="&prov;Generation"/>
+ <prov:qualifiedForm rdf:resource="&prov;Generation"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
+ <prov:qualifiedForm rdf:resource="&prov;qualifiedGeneration"/>
</owl:ObjectProperty>
@@ -645,8 +592,9 @@
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Starting_again"/>
<rdfs:domain rdf:resource="&prov;Activity"/>
<rdfs:range rdf:resource="&prov;Activity"/>
- <prov:involvementClass rdf:resource="&prov;Inform"/>
+ <prov:qualifiedForm rdf:resource="&prov;Inform"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
+ <prov:qualifiedForm rdf:resource="&prov;qualifiedInform"/>
</owl:ObjectProperty>
@@ -658,7 +606,8 @@
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Quotation"/>
<rdfs:domain rdf:resource="&prov;Entity"/>
<rdfs:range rdf:resource="&prov;Entity"/>
- <prov:involvementClass rdf:resource="&prov;Quotation"/>
+ <prov:qualifiedForm rdf:resource="&prov;Quotation"/>
+ <prov:qualifiedForm rdf:resource="&prov;qualifiedQuotation"/>
<rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
</owl:ObjectProperty>
@@ -670,7 +619,8 @@
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Revision"/>
<rdfs:range rdf:resource="&prov;Entity"/>
<rdfs:domain rdf:resource="&prov;Entity"/>
- <prov:involvementClass rdf:resource="&prov;Revision"/>
+ <prov:qualifiedForm rdf:resource="&prov;Revision"/>
+ <prov:qualifiedForm rdf:resource="&prov;qualifiedRevision"/>
<rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
</owl:ObjectProperty>
@@ -680,7 +630,8 @@
<owl:ObjectProperty rdf:about="&prov;wasStartedBy">
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Starting"/>
- <prov:involvementClass rdf:resource="&prov;Start"/>
+ <prov:qualifiedForm rdf:resource="&prov;Start"/>
+ <prov:qualifiedForm rdf:resource="&prov;qualifiedStart"/>
<rdfs:subPropertyOf rdf:resource="&prov;wasAssociatedWith"/>
</owl:ObjectProperty>
@@ -692,8 +643,9 @@
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Started_by_activity"/>
<rdfs:range rdf:resource="&prov;Activity"/>
<rdfs:domain rdf:resource="&prov;Activity"/>
- <prov:involvementClass rdf:resource="&prov;StartByActivity"/>
+ <prov:qualifiedForm rdf:resource="&prov;StartByActivity"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
+ <prov:qualifiedForm rdf:resource="&prov;qualifiedStartByActivity"/>
</owl:ObjectProperty>
@@ -709,6 +661,25 @@
+ <!-- http://www.w3.org/ns/prov#atTime -->
+
+ <owl:DatatypeProperty rdf:about="&prov;atTime">
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+ <rdfs:range rdf:resource="&xsd;dateTime"/>
+ <rdfs:domain rdf:resource="&prov;InstantaneousEvent"/>
+ </owl:DatatypeProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prov#endedAtTime -->
+
+ <owl:DatatypeProperty rdf:about="&prov;endedAtTime">
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+ <rdfs:range rdf:resource="&xsd;dateTime"/>
+ </owl:DatatypeProperty>
+
+
+
<!-- http://www.w3.org/ns/prov#inXSDDateTime -->
<owl:DatatypeProperty rdf:about="&prov;inXSDDateTime">
@@ -718,6 +689,15 @@
+ <!-- http://www.w3.org/ns/prov#startedAtTime -->
+
+ <owl:DatatypeProperty rdf:about="&prov;startedAtTime">
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+ <rdfs:range rdf:resource="&xsd;dateTime"/>
+ </owl:DatatypeProperty>
+
+
+
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
@@ -784,7 +764,7 @@
<prov:category>qualified</prov:category>
<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>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
- <prov:involvementProperty rdf:resource="&prov;wasAssociatedWith"/>
+ <prov:unqualifiedForm rdf:resource="&prov;wasAssociatedWith"/>
</owl:Class>
@@ -796,7 +776,7 @@
<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>
<prov:category>qualified</prov:category>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribution"/>
- <prov:involvementProperty rdf:resource="&prov;wasAttributedTo"/>
+ <prov:unqualifiedForm rdf:resource="&prov;wasAttributedTo"/>
</owl:Class>
@@ -820,7 +800,7 @@
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Revision"/>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Traceability"/>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
- <prov:involvementProperty rdf:resource="&prov;wasDerivedFrom"/>
+ <prov:unqualifiedForm rdf:resource="&prov;wasDerivedFrom"/>
</owl:Class>
@@ -833,7 +813,7 @@
<prov:category>qualified</prov:category>
<rdfs:comment>An Agent ends an Activity, optionally at a particular TimeInstant.</rdfs:comment>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Ending"/>
- <prov:involvementProperty rdf:resource="&prov;wasEndedBy"/>
+ <prov:unqualifiedForm rdf:resource="&prov;wasEndedBy"/>
</owl:Class>
@@ -867,7 +847,7 @@
<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>
<prov:category>core</prov:category>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Generation"/>
- <prov:involvementProperty rdf:resource="&prov;wasGeneratedBy"/>
+ <prov:unqualifiedForm rdf:resource="&prov;wasGeneratedBy"/>
</owl:Class>
@@ -877,7 +857,7 @@
<owl:Class rdf:about="&prov;Inform">
<rdfs:subClassOf rdf:resource="&prov;ActivityInvolvement"/>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity_Ordering"/>
- <prov:involvementProperty rdf:resource="&prov;wasInformedBy"/>
+ <prov:unqualifiedForm rdf:resource="&prov;wasInformedBy"/>
</owl:Class>
@@ -898,7 +878,7 @@
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Generation"/>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
- <prov:involvementProperty rdf:resource="&prov;involved"/>
+ <prov:unqualifiedForm rdf:resource="&prov;involved"/>
</owl:Class>
@@ -962,7 +942,7 @@
<rdfs:comment xml:lang="en">TODO: Shouldn't Quotation be a subtype of Derivation (and same for the binary relations?) -Tim</rdfs:comment>
<prov:category>additional</prov:category>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Quotation"/>
- <prov:involvementProperty rdf:resource="&prov;wasQuotedFrom"/>
+ <prov:unqualifiedForm rdf:resource="&prov;wasQuotedFrom"/>
</owl:Class>
@@ -974,7 +954,7 @@
<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>
<prov:category>qualified</prov:category>
<rdfs:comment rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
- <prov:involvementProperty rdf:resource="&prov;actedOnBehalfOf"/>
+ <prov:unqualifiedForm rdf:resource="&prov;actedOnBehalfOf"/>
</owl:Class>
@@ -985,7 +965,7 @@
<rdfs:subClassOf rdf:resource="&prov;Source"/>
<prov:category>additional</prov:category>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Revision"/>
- <prov:involvementProperty rdf:resource="&prov;wasRevisionOf"/>
+ <prov:unqualifiedForm rdf:resource="&prov;wasRevisionOf"/>
</owl:Class>
@@ -1015,7 +995,7 @@
<rdfs:subClassOf rdf:resource="&prov;Derivation"/>
<prov:category>additional</prov:category>
<rdfs:comment rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Original_Source"/>
- <prov:involvementProperty rdf:resource="&prov;hadOriginalSource"/>
+ <prov:unqualifiedForm rdf:resource="&prov;hadOriginalSource"/>
</owl:Class>
@@ -1028,7 +1008,7 @@
<rdfs:comment>An Agent starts an Activity, optionally at a particular TimeInstant.</rdfs:comment>
<prov:category>qualified</prov:category>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Starting"/>
- <prov:involvementProperty rdf:resource="&prov;wasStartedBy"/>
+ <prov:unqualifiedForm rdf:resource="&prov;wasStartedBy"/>
</owl:Class>
@@ -1038,7 +1018,7 @@
<owl:Class rdf:about="&prov;StartByActivity">
<rdfs:subClassOf rdf:resource="&prov;ActivityInvolvement"/>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Started_by_activity"/>
- <prov:involvementProperty rdf:resource="&prov;wasStartedByActivity"/>
+ <prov:unqualifiedForm rdf:resource="&prov;wasStartedByActivity"/>
</owl:Class>
@@ -1066,7 +1046,7 @@
<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>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Revision"/>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Traceability"/>
- <prov:involvementProperty rdf:resource="&prov;tracedTo"/>
+ <prov:unqualifiedForm rdf:resource="&prov;tracedTo"/>
</owl:Class>
@@ -1078,7 +1058,7 @@
<rdfs:subClassOf rdf:resource="&prov;InstantaneousEvent"/>
<prov:category>core</prov:category>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
- <prov:involvementProperty rdf:resource="&prov;used"/>
+ <prov:unqualifiedForm rdf:resource="&prov;used"/>
</owl:Class>
</rdf:RDF>