--- a/ontology/ProvenanceOntology.owl Mon May 07 10:18:49 2012 -0400
+++ b/ontology/ProvenanceOntology.owl Mon May 07 13:15:11 2012 -0400
@@ -56,12 +56,12 @@
<owl:AnnotationProperty rdf:about="&prov;definition">
<rdfs:comment xml:lang="en">A definition quoted from PROV-DM or PROV-CONSTRAINTS that describes the concept expressed with this OWL term.</rdfs:comment>
</owl:AnnotationProperty>
+ <owl:AnnotationProperty rdf:about="&prov;editorialNote">
+ <rdfs:comment xml:lang="en">A note by the OWL development team about how this term expresses the PROV-DM concept, or how it should be used in context of semantic web or linked data.</rdfs:comment>
+ </owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&rdfs;label">
<rdfs:comment xml:lang="en"></rdfs:comment>
</owl:AnnotationProperty>
- <owl:AnnotationProperty rdf:about="&prov;editorialNote">
- <rdfs:comment xml:lang="en">A note by the OWL development team about how this term expresses the PROV-DM concept, or how it should be used in context of semantic web or linked data.</rdfs:comment>
- </owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&prov;inverse">
<rdfs:comment xml:lang="en">PROV-O does not define all property inverses. The directionalities defined in PROV-O should be given preference over those not defined. However, if users wish to name the inverse of a PROV-O property, the local name given by prov:inverse should be used.</rdfs:comment>
</owl:AnnotationProperty>
@@ -132,6 +132,10 @@
<prov:qualifiedForm rdf:resource="&prov;Responsibility"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedResponsibility"/>
+ <owl:propertyChainAxiom rdf:parseType="Collection">
+ <rdf:Description rdf:about="&prov;qualifiedResponsibility"/>
+ <rdf:Description rdf:about="&prov;agent"/>
+ </owl:propertyChainAxiom>
</owl:ObjectProperty>
@@ -213,6 +217,10 @@
<prov:qualifiedForm rdf:resource="&prov;Insertion"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedInsertion"/>
<rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
+ <owl:propertyChainAxiom rdf:parseType="Collection">
+ <rdf:Description rdf:about="&prov;qualifiedInsertion"/>
+ <rdf:Description rdf:about="&prov;dictionary"/>
+ </owl:propertyChainAxiom>
</owl:ObjectProperty>
<owl:Axiom>
<rdfs:comment>Insertion is a form of derivation that transforms a dictionary into another, by insertion of one or more key-entity pairs. </rdfs:comment>
@@ -235,6 +243,10 @@
<prov:qualifiedForm rdf:resource="&prov;Removal"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedRemoval"/>
<rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
+ <owl:propertyChainAxiom rdf:parseType="Collection">
+ <rdf:Description rdf:about="&prov;qualifiedRemoval"/>
+ <rdf:Description rdf:about="&prov;dictionary"/>
+ </owl:propertyChainAxiom>
</owl:ObjectProperty>
<owl:Axiom>
<rdfs:comment>Removal is a form of derivation that transforms a dictionary into another, by removing one or more key-entity pairs. </rdfs:comment>
@@ -340,6 +352,10 @@
<prov:qualifiedForm rdf:resource="&prov;Source"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedSource"/>
<rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
+ <owl:propertyChainAxiom rdf:parseType="Collection">
+ <rdf:Description rdf:about="&prov;qualifiedSource"/>
+ <rdf:Description rdf:about="&prov;entity"/>
+ </owl:propertyChainAxiom>
</owl:ObjectProperty>
<owl:Axiom>
<rdfs:comment>hadOriginalSource property is a particular case of wasDerivedFrom that aims to give credit to the source that originated some information.</rdfs:comment>
@@ -613,6 +629,20 @@
+ <!-- http://www.w3.org/ns/prov#qualifiedInvalidation -->
+
+ <owl:ObjectProperty rdf:about="&prov;qualifiedInvalidation">
+ <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
+ <rdfs:comment xml:lang="en">If this Entity prov:wasInvalidatedBy Activity :a, then it can qualify how it was invalidated using prov:qualifiedInvalidation [ a prov:Invalidation; prov:activity :a; :foo :bar ].</rdfs:comment>
+ <prov:component>entities-activities</prov:component>
+ <prov:category>qualified</prov:category>
+ <rdfs:domain rdf:resource="&prov;Entity"/>
+ <rdfs:range rdf:resource="&prov;Invalidation"/>
+ <prov:unqualifiedForm rdf:resource="&prov;wasInvalidatedBy"/>
+ </owl:ObjectProperty>
+
+
+
<!-- http://www.w3.org/ns/prov#qualifiedQuotation -->
<owl:ObjectProperty rdf:about="&prov;qualifiedQuotation">
@@ -770,15 +800,19 @@
<owl:ObjectProperty rdf:about="&prov;tracedTo">
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
- <rdfs:comment xml:lang="en">An object property to link back an entity to another by means of derivation or responsibility relations, possibly repeatedly traversed.</rdfs:comment>
<prov:component>derivations</prov:component>
+ <prov:category>expanded</prov:category>
+ <rdfs:comment xml:lang="en">An object property to link back an entity to another by means of derivation or responsibility relations, possibly repeatedly traversed.</rdfs:comment>
<prov:inverse>tracedFrom</prov:inverse>
- <prov:category>expanded</prov:category>
<rdfs:range rdf:resource="&prov;Entity"/>
<rdfs:domain rdf:resource="&prov;Entity"/>
<prov:qualifiedForm rdf:resource="&prov;Trace"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedTrace"/>
+ <owl:propertyChainAxiom rdf:parseType="Collection">
+ <rdf:Description rdf:about="&prov;qualifiedTrace"/>
+ <rdf:Description rdf:about="&prov;entity"/>
+ </owl:propertyChainAxiom>
</owl:ObjectProperty>
@@ -797,6 +831,10 @@
<prov:qualifiedForm rdf:resource="&prov;Usage"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedUsage"/>
+ <owl:propertyChainAxiom rdf:parseType="Collection">
+ <rdf:Description rdf:about="&prov;qualifiedUsage"/>
+ <rdf:Description rdf:about="&prov;entity"/>
+ </owl:propertyChainAxiom>
</owl:ObjectProperty>
@@ -841,6 +879,10 @@
<prov:qualifiedForm rdf:resource="&prov;Association"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedAssociation"/>
+ <owl:propertyChainAxiom rdf:parseType="Collection">
+ <rdf:Description rdf:about="&prov;qualifiedAssociation"/>
+ <rdf:Description rdf:about="&prov;agent"/>
+ </owl:propertyChainAxiom>
</owl:ObjectProperty>
@@ -849,15 +891,19 @@
<owl:ObjectProperty rdf:about="&prov;wasAttributedTo">
<prov:definition>Attribution is the ascribing of an entity to an agent.</prov:definition>
+ <rdfs:comment xml:lang="en">Attribution is the ascribing of an entity to an agent.</rdfs:comment>
+ <prov:component>agents-responsibility</prov:component>
<prov:category>starting-point</prov:category>
<prov:inverse>contributed</prov:inverse>
- <rdfs:comment xml:lang="en">Attribution is the ascribing of an entity to an agent.</rdfs:comment>
- <prov:component>agents-responsibility</prov:component>
<rdfs:range rdf:resource="&prov;Agent"/>
<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:propertyChainAxiom rdf:parseType="Collection">
+ <rdf:Description rdf:about="&prov;qualifiedAttribution"/>
+ <rdf:Description rdf:about="&prov;agent"/>
+ </owl:propertyChainAxiom>
</owl:ObjectProperty>
<owl:Axiom>
<rdfs:comment>Attribution is a particular case of trace, in the sense that it links an entity to the agent that ascribed it.</rdfs:comment>
@@ -883,6 +929,10 @@
<rdfs:domain rdf:resource="&prov;Entity"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedDerivation"/>
<rdfs:subPropertyOf rdf:resource="&prov;tracedTo"/>
+ <owl:propertyChainAxiom rdf:parseType="Collection">
+ <rdf:Description rdf:about="&prov;qualifiedDerivation"/>
+ <rdf:Description rdf:about="&prov;entity"/>
+ </owl:propertyChainAxiom>
</owl:ObjectProperty>
<owl:Axiom>
<rdfs:comment>Derivation is a particular case of trace, since it links an entity to another entity that contributed to its existence.</rdfs:comment>
@@ -906,6 +956,10 @@
<rdfs:range rdf:resource="&prov;Entity"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedEnd"/>
+ <owl:propertyChainAxiom rdf:parseType="Collection">
+ <rdf:Description rdf:about="&prov;qualifiedEnd"/>
+ <rdf:Description rdf:about="&prov;entity"/>
+ </owl:propertyChainAxiom>
</owl:ObjectProperty>
@@ -925,6 +979,10 @@
<prov:qualifiedForm rdf:resource="&prov;Generation"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedGeneration"/>
+ <owl:propertyChainAxiom rdf:parseType="Collection">
+ <rdf:Description rdf:about="&prov;qualifiedGeneration"/>
+ <rdf:Description rdf:about="&prov;activity"/>
+ </owl:propertyChainAxiom>
</owl:ObjectProperty>
@@ -941,6 +999,10 @@
<prov:qualifiedForm rdf:resource="&prov;Communication"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedCommunication"/>
+ <owl:propertyChainAxiom rdf:parseType="Collection">
+ <rdf:Description rdf:about="&prov;qualifiedCommunication"/>
+ <rdf:Description rdf:about="&prov;entity"/>
+ </owl:propertyChainAxiom>
</owl:ObjectProperty>
@@ -954,6 +1016,10 @@
<rdfs:range rdf:resource="&prov;Activity"/>
<rdfs:domain rdf:resource="&prov;Entity"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
+ <owl:propertyChainAxiom rdf:parseType="Collection">
+ <rdf:Description rdf:about="&prov;qualifiedInvalidation"/>
+ <rdf:Description rdf:about="&prov;activity"/>
+ </owl:propertyChainAxiom>
</owl:ObjectProperty>
@@ -970,6 +1036,10 @@
<prov:qualifiedForm rdf:resource="&prov;Quotation"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedQuotation"/>
<rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
+ <owl:propertyChainAxiom rdf:parseType="Collection">
+ <rdf:Description rdf:about="&prov;qualifiedQuotation"/>
+ <rdf:Description rdf:about="&prov;entity"/>
+ </owl:propertyChainAxiom>
</owl:ObjectProperty>
<owl:Axiom>
<rdfs:comment>Quotation is a particular case of derivation in which an entity is derived from an original entity by copying, or "quoting", some or all of it. </rdfs:comment>
@@ -992,6 +1062,10 @@
<prov:qualifiedForm rdf:resource="&prov;Revision"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedRevision"/>
<rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
+ <owl:propertyChainAxiom rdf:parseType="Collection">
+ <rdf:Description rdf:about="&prov;qualifiedRevision"/>
+ <rdf:Description rdf:about="&prov;entity"/>
+ </owl:propertyChainAxiom>
</owl:ObjectProperty>
<owl:Axiom>
<rdfs:comment>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Revision 23 April 2012 'wasRevisionOf is a strict sub-relation of wasDerivedFrom since two entities e2 and e1 may satisfy wasDerivedFrom(e2,e1) without being a variant of each other.'</rdfs:comment>
@@ -1005,9 +1079,9 @@
<!-- http://www.w3.org/ns/prov#wasStartedBy -->
<owl:ObjectProperty rdf:about="&prov;wasStartedBy">
- <prov:component>entities-activities</prov:component>
<prov:inverse>started</prov:inverse>
<prov:category>expanded</prov:category>
+ <prov:component>entities-activities</prov:component>
<rdfs:comment xml:lang="en">Start is when an activity is deemed to have started. A start may refer to an entity, known as trigger, that initiated the activity.</rdfs:comment>
<prov:editorialNote xml:lang="en">was{Started,Ended}By do not have anything to do with agent/attribution. -Luc 20 April 2012</prov:editorialNote>
<rdfs:domain rdf:resource="&prov;Activity"/>
@@ -1015,6 +1089,10 @@
<prov:qualifiedForm rdf:resource="&prov;Start"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedStart"/>
+ <owl:propertyChainAxiom rdf:parseType="Collection">
+ <rdf:Description rdf:about="&prov;qualifiedStart"/>
+ <rdf:Description rdf:about="&prov;entity"/>
+ </owl:propertyChainAxiom>
</owl:ObjectProperty>
@@ -1031,6 +1109,10 @@
<prov:qualifiedForm rdf:resource="&prov;StartByActivity"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
<prov:qualifiedForm rdf:resource="&prov;qualifiedStartByActivity"/>
+ <owl:propertyChainAxiom rdf:parseType="Collection">
+ <rdf:Description rdf:about="&prov;qualifiedStartByActivity"/>
+ <rdf:Description rdf:about="&prov;activity"/>
+ </owl:propertyChainAxiom>
</owl:ObjectProperty>