fixed prov-o https://www.w3.org/2011/prov/track/issues/594
authorTim L <lebot@rpi.edu>
Thu, 08 Nov 2012 22:17:23 -0500
changeset 4669 6a622a22bd14
parent 4668 7e22a4d5efe8
child 4670 379513c95ed8
fixed prov-o https://www.w3.org/2011/prov/track/issues/594
ontology/ProvenanceOntology.owl
ontology/prov.ttl
--- a/ontology/ProvenanceOntology.owl	Thu Nov 08 16:39:19 2012 -0700
+++ b/ontology/ProvenanceOntology.owl	Thu Nov 08 22:17:23 2012 -0500
@@ -85,10 +85,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#dm">
         <rdfs:comment xml:lang="en">A reference to the principal section of the PROV-DM document that describes this concept.</rdfs:comment>
         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
@@ -365,8 +365,8 @@
         <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
     </owl:ObjectProperty>
     <owl:Axiom>
+        <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection</dm>
         <rdfs:comment xml:lang="en">A collection is an entity that provides a structure to some constituents, which are themselves entities. These constituents are said to be member of the collections.</rdfs:comment>
-        <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection</dm>
         <owl:annotatedProperty rdf:resource="&rdfs;range"/>
         <owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#Entity"/>
         <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#hadMember"/>
@@ -872,8 +872,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"/>
@@ -969,6 +969,15 @@
         <component>agents-responsibility</component>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
         <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Influence"/>
+        <rdfs:range>
+            <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:range>
         <rdfs:domain>
             <owl:Class>
                 <owl:unionOf rdf:parseType="Collection">
@@ -978,20 +987,11 @@
                 </owl:unionOf>
             </owl:Class>
         </rdfs:domain>
-        <rdfs:range>
-            <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:range>
     </owl:ObjectProperty>
     <owl:Axiom>
+        <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>
-        <definition>influencee: an identifier (o2) for an entity, activity, or agent; </definition>
-        <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>
@@ -1004,9 +1004,9 @@
         </owl:annotatedTarget>
     </owl:Axiom>
     <owl:Axiom>
-        <definition>influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;</definition>
+        <definition>influencee: an identifier (o2) for an entity, activity, or agent; </definition>
         <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-influence</dm>
-        <owl:annotatedProperty rdf:resource="&rdfs;range"/>
+        <owl:annotatedProperty rdf:resource="&rdfs;domain"/>
         <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
         <owl:annotatedTarget>
             <owl:Class>
@@ -1037,7 +1037,7 @@
         <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
         <owl:propertyChainAxiom rdf:parseType="Collection">
             <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedCommunication"/>
-            <rdf:Description rdf:about="http://www.w3.org/ns/prov#entity"/>
+            <rdf:Description rdf:about="http://www.w3.org/ns/prov#activity"/>
         </owl:propertyChainAxiom>
     </owl:ObjectProperty>
     
--- a/ontology/prov.ttl	Thu Nov 08 16:39:19 2012 -0700
+++ b/ontology/prov.ttl	Thu Nov 08 22:17:23 2012 -0500
@@ -1197,7 +1197,7 @@
     rdfs:range :Activity ;
     rdfs:subPropertyOf :wasInfluencedBy ;
     owl:propertyChainAxiom (:qualifiedCommunication
-        :entity
+        :activity
     ) ;
     :category "starting-point" ;
     :component "entities-activities" ;
@@ -1299,6 +1299,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 [
@@ -1313,20 +1327,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 ;