refresh egs
authorTim L <lebot@rpi.edu>
Sat, 30 Jun 2012 19:45:16 -0400
changeset 3543 418514d6d6a9
parent 3542 762746177f75
child 3544 2f9b566edf60
refresh egs
ontology/ProvenanceOntology.owl
--- a/ontology/ProvenanceOntology.owl	Sat Jun 30 19:09:01 2012 -0400
+++ b/ontology/ProvenanceOntology.owl	Sat Jun 30 19:45:16 2012 -0400
@@ -251,9 +251,9 @@
 
     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#generated">
         <component>entities-activities</component>
+        <editorialNote>prov:generated is the only inverse property defined, to allow Activity-oriented assertions in addition to Entity-oriented assertions.</editorialNote>
         <inverse>wasGeneratedBy</inverse>
         <category>expanded</category>
-        <rdfs:comment>This inverse of prov:wasGeneratedBy is defined so that Activities being described can reference their generated outputs directly without needing to &#39;stop&#39; and start describing the Entity. This helps &#39;Activity-centric&#39; modeling as opposed to &#39;Entity-centric&#39; modeling.</rdfs:comment>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Activity"/>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
         <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Generation"/>
@@ -440,6 +440,7 @@
 
     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#influenced">
         <inverse>wasInfluencedBy</inverse>
+        <component>agents-responsibility</component>
         <category>expanded</category>
         <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
     </owl:ObjectProperty>
@@ -450,9 +451,10 @@
 
     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#influencer">
         <rdfs:comment>Subproperties of prov:involvee are used to cite the object of an unqualified PROV-O triple whose predicate is a subproperty of prov:involved (e.g. prov:used, prov:wasGeneratedBy). prov:involvee is used much like rdf:object is used.</rdfs:comment>
-        <editorsDefinition xml:lang="en">The rdf:object of the (binary) prov:involved relation (triple) that this Influence is qualifying (reifying) for further description (as an n-ary relation).</editorsDefinition>
         <category>qualified</category>
         <inverse>involvement</inverse>
+        <editorsDefinition>This property is used as part of the qualified influence pattern. Subclasses of prov:Influence use these subproperties to reference the resource (Entity, Agent, or Activity) whose influence is being qualified.</editorsDefinition>
+        <editorialNote xml:lang="en">This property and its subproperties are used in the same way as the rdf:object property, i.e. to reference the object of an unqualified prov:wasInfluencedBy or prov:influenced triple.</editorialNote>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Influence"/>
     </owl:ObjectProperty>
     
@@ -842,7 +844,6 @@
     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasInfluencedBy">
         <category>qualified</category>
         <inverse>influenced</inverse>
-        <editorsDefinition xml:lang="en">The broadest provenance relation between two resources, prov:involved is the superproperty of all unqualified binary relations among any two Activities, Entities, or Agents (or anything else). A more specific property should be favored of prov:involved.</editorsDefinition>
         <editorialNote xml:lang="en">The relation the sub-properties of prov:involved can also be specified in more detail using the qualification pattern. For example, the binary relation :baking prov:used :spoon can be qualified by asserting :baking prov:qualifiedUsage [ a prov:Usage; prov:entity :baking; :foo :bar; prov:atLocation :kitchen ] .
 
 Subproperties of prov:involved may also be asserted directly without being qualified.
@@ -850,7 +851,57 @@
 prov:involved should not be used without also using one of its subproperties. 
 
 </editorialNote>
+        <component>agents-responsibility</component>
+        <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">
+                    <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>
+        <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-influence</prov-dm>
+        <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>
+                <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>
+        </owl:annotatedTarget>
+    </owl:Axiom>
+    <owl:Axiom>
+        <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-influence</prov-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"/>
+        <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
+        <owl:annotatedTarget>
+            <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>
+        </owl:annotatedTarget>
+    </owl:Axiom>
     
 
 
@@ -1373,13 +1424,13 @@
         <rdfs:label xml:lang="en">Influence</rdfs:label>
         <category>qualified</category>
         <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-traceability</prov-dm>
-        <definition>Influenceability is the ability to link back an entity to another by means of derivation or responsibility relations, possibly repeatedly traversed.</definition>
-        <editorialNote>For simplicity, the hierarchy &#39;stops&#39; at the primary resources (Activity, Entity, Agent). Distinctions beyond the type of object involved are not necessary in PROV-O, but may be established by others.</editorialNote>
-        <rdfs:comment xml:lang="en">Any resource that involved an prov:Activity, prov:Entity, or prov:Agent can qualify its involvement by also referencing an instance of prov:Influence. Instances of prov:Influence reference the involved Activity, Entity, or Agent (using prov:activity, prov:entity, or prov:agent, respectively) and may be described with any kind of attributes, including user-defined attributes and those provided by PROV (prov:hadRole, prov:hadPlan, prov:atTime, prov:hadLocation). A description (via prov:Influence) of the binary involvement implies the assertion of the binary involvement.</rdfs:comment>
         <component>derivations</component>
         <prov-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#term-traceability</prov-constraints>
         <prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-traceability</prov-n>
         <rdfs:comment xml:lang="en">An instance of prov:Influence provides additional descriptions about the binary prov:wasInfluencedBy relation from some prov:Entity to some other prov:Element. For example, :stomach_ache prov:wasInfluencedBy :spoon; prov:qualified [ a prov:Influence; prov:entity :spoon; :foo :bar ].</rdfs:comment>
+        <rdfs:comment xml:lang="en">Any resource that involved an prov:Activity, prov:Entity, or prov:Agent can qualify its involvement by also referencing an instance of prov:Influence. Instances of prov:Influence reference the involved Activity, Entity, or Agent (using prov:activity, prov:entity, or prov:agent, respectively) and may be described with any kind of attributes, including user-defined attributes and those provided by PROV (prov:hadRole, prov:hadPlan, prov:atTime, prov:hadLocation). A description (via prov:Influence) of the binary involvement implies the assertion of the binary involvement.</rdfs:comment>
+        <definition xml:lang="en">Influence is the capacity an entity, activity, or agent to have an effect on the character, development, or behavior of another by means of usage, start, end, generation, invalidation, communication, derivation, attribution, association, or delegation. </definition>
+        <editorialNote xml:lang="en">Subclass distinctions beyond the type of influencing resource (Activity, Entity, Agent) are not necessary in PROV-O, but may be established by others.</editorialNote>
         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#involved"/>
         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
     </owl:Class>