updated prov:value and prov:wasDerivedFrom's out-of-date definitions to suit PROV-DM.
authorTim L <lebot@rpi.edu>
Tue, 12 Feb 2013 09:19:36 -0500
changeset 5538 36ed8aa4a43f
parent 5535 2e432ef815ab
child 5539 dc64ae9a2822
updated prov:value and prov:wasDerivedFrom's out-of-date definitions to suit PROV-DM.
ontology/ProvenanceOntology.owl
ontology/prov-o.ttl
--- a/ontology/ProvenanceOntology.owl	Tue Feb 12 09:00:10 2013 -0500
+++ b/ontology/ProvenanceOntology.owl	Tue Feb 12 09:19:36 2013 -0500
@@ -87,10 +87,10 @@
         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
     </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="&owl;versionInfo"/>
     <owl:AnnotationProperty rdf:about="&rdfs;seeAlso">
         <rdfs:comment xml:lang="en"></rdfs:comment>
     </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="&owl;versionInfo"/>
     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#specializationOf">
         <rdfs:label>specializationOf</rdfs:label>
         <constraints rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#prov-dm-constraints-fig</constraints>
@@ -848,8 +848,8 @@
         </owl:propertyChainAxiom>
     </owl:ObjectProperty>
     <owl:Axiom>
+        <definition>IF wasAttributedTo(e2,ag1,aAttr) holds, THEN wasInfluencedBy(e2,ag1) also holds. </definition>
         <rdfs:comment>Attribution is a particular case of trace (see http://www.w3.org/TR/prov-dm/#concept-trace), in the sense that it links an entity to the agent that ascribed it.</rdfs:comment>
-        <definition>IF wasAttributedTo(e2,ag1,aAttr) holds, THEN wasInfluencedBy(e2,ag1) also holds. </definition>
         <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
         <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasAttributedTo"/>
         <owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
@@ -862,7 +862,7 @@
     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasDerivedFrom">
         <rdfs:label>wasDerivedFrom</rdfs:label>
         <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>
+        <definition xml:lang="en">A derivation is a transformation of an entity into another, an update of an entity resulting in a new one, or the construction of a new entity based on a pre-existing entity.</definition>
         <category>starting-point</category>
         <rdfs:comment xml:lang="en">The more specific subproperties of prov:wasDerivedFrom (i.e., prov:wasQuotedFrom, prov:wasRevisionOf, prov:hadPrimarySource) should be used when applicable.</rdfs:comment>
         <component>derivations</component>
@@ -948,6 +948,15 @@
         <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Influence"/>
         <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Influence"/>
         <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#qualifiedInfluence"/>
+        <rdfs:domain>
+            <owl:Class>
+                <owl:unionOf rdf:parseType="Collection">
+                    <rdf:Description rdf:about="http://www.w3.org/ns/prov#Activity"/>
+                    <rdf:Description rdf:about="http://www.w3.org/ns/prov#Agent"/>
+                    <rdf:Description rdf:about="http://www.w3.org/ns/prov#Entity"/>
+                </owl:unionOf>
+            </owl:Class>
+        </rdfs:domain>
         <rdfs:range>
             <owl:Class>
                 <owl:unionOf rdf:parseType="Collection">
@@ -957,20 +966,11 @@
                 </owl:unionOf>
             </owl:Class>
         </rdfs:range>
-        <rdfs:domain>
-            <owl:Class>
-                <owl:unionOf rdf:parseType="Collection">
-                    <rdf:Description rdf:about="http://www.w3.org/ns/prov#Activity"/>
-                    <rdf:Description rdf:about="http://www.w3.org/ns/prov#Agent"/>
-                    <rdf:Description rdf:about="http://www.w3.org/ns/prov#Entity"/>
-                </owl:unionOf>
-            </owl:Class>
-        </rdfs:domain>
     </owl:ObjectProperty>
     <owl:Axiom>
-        <definition>influencee: an identifier (o2) for an entity, activity, or agent; </definition>
+        <definition>influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;</definition>
         <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-influence</dm>
-        <owl:annotatedProperty rdf:resource="&rdfs;domain"/>
+        <owl:annotatedProperty rdf:resource="&rdfs;range"/>
         <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
         <owl:annotatedTarget>
             <owl:Class>
@@ -984,8 +984,8 @@
     </owl:Axiom>
     <owl:Axiom>
         <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-influence</dm>
-        <definition>influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;</definition>
-        <owl:annotatedProperty rdf:resource="&rdfs;range"/>
+        <definition>influencee: an identifier (o2) for an entity, activity, or agent; </definition>
+        <owl:annotatedProperty rdf:resource="&rdfs;domain"/>
         <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
         <owl:annotatedTarget>
             <owl:Class>
@@ -1227,9 +1227,8 @@
         <dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-attribute-value</dm>
         <category>expanded</category>
         <editorialNote>The editor&#39;s definition comes from http://www.w3.org/TR/rdf-primer/#rdfvalue</editorialNote>
+        <definition xml:lang="en">Provides a value that is a direct representation of an entity.</definition>
         <component>entities-activities</component>
-        <rdfs:comment xml:lang="en">Provides a value for an Entity.</rdfs:comment>
-        <editorsDefinition xml:lang="en">The main value (if there is one) of a structured value.</editorsDefinition>
         <editorialNote xml:lang="en">This property serves the same purpose as rdf:value, but has been reintroduced to avoid some of the definitional ambiguity in the RDF specification (specifically, &#39;may be used in describing structured values&#39;).</editorialNote>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
--- a/ontology/prov-o.ttl	Tue Feb 12 09:00:10 2013 -0500
+++ b/ontology/prov-o.ttl	Tue Feb 12 09:19:36 2013 -0500
@@ -1031,15 +1031,14 @@
 
 :value
     a owl:DatatypeProperty ;
-    rdfs:comment "Provides a value for an Entity."@en ;
     rdfs:domain :Entity ;
     rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
     rdfs:label "value" ;
     :category "expanded" ;
     :component "entities-activities" ;
+    :definition "Provides a value that is a direct representation of an entity."@en ;
     :dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-attribute-value"^^xsd:anyURI ;
-    :editorialNote "The editor's definition comes from http://www.w3.org/TR/rdf-primer/#rdfvalue", "This property serves the same purpose as rdf:value, but has been reintroduced to avoid some of the definitional ambiguity in the RDF specification (specifically, 'may be used in describing structured values')."@en ;
-    :editorsDefinition "The main value (if there is one) of a structured value."@en .
+    :editorialNote "The editor's definition comes from http://www.w3.org/TR/rdf-primer/#rdfvalue", "This property serves the same purpose as rdf:value, but has been reintroduced to avoid some of the definitional ambiguity in the RDF specification (specifically, 'may be used in describing structured values')."@en .
 
 :wasAssociatedWith
     a owl:ObjectProperty ;
@@ -1087,7 +1086,7 @@
     ) ;
     :category "starting-point" ;
     :component "derivations" ;
-    :definition "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 ;
+    :definition "A derivation is a transformation of an entity into another, an update of an entity resulting in a new one, or the construction of a new entity based on a pre-existing entity."@en ;
     :inverse "hadDerivation" ;
     :qualifiedForm :Derivation, :qualifiedDerivation .
 
@@ -1276,6 +1275,20 @@
 
 []
     a owl:Axiom ;
+    owl:annotatedProperty rdfs:range ;
+    owl:annotatedSource :wasInfluencedBy ;
+    owl:annotatedTarget [
+        a owl:Class ;
+        owl:unionOf (:Activity
+            :Agent
+            :Entity
+        )
+    ] ;
+    :definition "influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;" ;
+    :dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-influence" .
+
+[]
+    a owl:Axiom ;
     owl:annotatedProperty rdfs:domain ;
     owl:annotatedSource :wasInfluencedBy ;
     owl:annotatedTarget [
@@ -1290,20 +1303,6 @@
 
 []
     a owl:Axiom ;
-    owl:annotatedProperty rdfs:range ;
-    owl:annotatedSource :wasInfluencedBy ;
-    owl:annotatedTarget [
-        a owl:Class ;
-        owl:unionOf (:Activity
-            :Agent
-            :Entity
-        )
-    ] ;
-    :definition "influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;" ;
-    :dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-influence" .
-
-[]
-    a owl:Axiom ;
     rdfs:comment "Quotation is a particular case of derivation (see http://www.w3.org/TR/prov-dm/#term-quotation) in which an entity is derived from an original entity by copying, or \"quoting\", some or all of it. " ;
     owl:annotatedProperty rdfs:subPropertyOf ;
     owl:annotatedSource :wasQuotedFrom ;