involvement -> influence egs
authorTim L <lebot@rpi.edu>
Sat, 30 Jun 2012 19:52:09 -0400
changeset 3546 41757e1d354c
parent 3545 657643407c58
child 3547 2ead883a7785
involvement -> influence egs
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_ActivityInfluence.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_AgentInvolvement.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_DictionaryInvolvement.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_EntityInvolvement.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Influence.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Involvement.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Removal.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_activity.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_derivedByRemovalFrom.ttl
examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_removed.ttl
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_ActivityInfluence.ttl	Sat Jun 30 19:47:26 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_ActivityInfluence.ttl	Sat Jun 30 19:52:09 2012 -0400
@@ -4,4 +4,17 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
-# TODO
+:bar_chart 
+   a prov:Entity;
+   prov:wasGeneratedBy      :illustrating;
+   prov:qualifiedGeneration :making-bar-chart;
+. 
+
+:making-bar-chart
+   a prov:Generation, 
+     prov:ActivityInfluence;    ## Instances of Generation, Invalidation, and Communication qualify
+   prov:activity :illustrating; ## the influence of an Activity (cited by prov:activity)
+   rdfs:comment "Ended up with bar chart as line chart looked ugly."@en;
+.
+
+:illustrating a prov:Activity .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_AgentInvolvement.ttl	Sat Jun 30 19:47:26 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_AgentInvolvement.ttl	Sat Jun 30 19:52:09 2012 -0400
@@ -9,8 +9,8 @@
     prov:wasAssociatedWith :derek;
     prov:qualifiedAssociation [
        a prov:Association, 
-         prov:AgentInvolvement; ## Instances of Generation, Invalidation, and Communication qualify
-       prov:agent   :derek;     ## the involvement of an Agent (cited by prov:agent)
+         prov:AgentInfluence;   ## Instances of Generation, Invalidation, and Communication qualify
+       prov:agent   :derek;     ## the influence of an Agent (cited by prov:agent)
        prov:hadRole :illustrationist
     ];
 .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_DictionaryInvolvement.ttl	Sat Jun 30 19:47:26 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_DictionaryInvolvement.ttl	Sat Jun 30 19:52:09 2012 -0400
@@ -11,7 +11,7 @@
      prov:Entity;
    prov:derivedByRemovalFrom :c1;
    prov:qualifiedRemoval [
-      a prov:Removal, prov:DictionaryInvolvement;
+      a prov:Removal, prov:DictionaryInfluence;
       prov:dictionary :c1;
       prov:removedKey "k1"^^xsd:string;
    ];
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_EntityInvolvement.ttl	Sat Jun 30 19:47:26 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_EntityInvolvement.ttl	Sat Jun 30 19:52:09 2012 -0400
@@ -4,22 +4,22 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
-# EntityInvolvement is intended to be an 'abstract' subclass of Involvement 
-# for Involvements that reference an entity. It is a superclass for concrete Involvements 
+# EntityInfluence is intended to be an 'abstract' subclass of Influence 
+# for Influence that reference an entity. It is a superclass for concrete Influences 
 # (e.g. Usage, Derivation, Source) 
 
-# It is not recommended that the type EntityInvolvement be used without also declaring
+# It is not recommended that the type EntityInfluence be used without also declaring
 # one of its concrete subclasses.
 
-# By definition, all instances of prov:Usage are also instances of prov:EntityInvolvement.
+# By definition, all instances of prov:Usage are also instances of prov:EntityInfluence.
 
 :sortActivity
    a prov:Activity;
    prov:used :datasetA;
    prov:qualifiedUsage [
       a prov:Usage, 
-        prov:EntityInvolvement; ## Instances of Start, End, Usage, and Derivation qualify
-      prov:entity  :datasetA;   ## the involvement of an Entity (cited by prov:entity)
+        prov:EntityInfluence; ## Instances of Start, End, Usage, and Derivation qualify
+      prov:entity  :datasetA; ## the influencd of an Entity (cited by prov:entity)
       prov:hadRole :inputToBeSorted;
    ];
    prov:generated :datasetB;
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Influence.ttl	Sat Jun 30 19:47:26 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Influence.ttl	Sat Jun 30 19:52:09 2012 -0400
@@ -2,6 +2,28 @@
 @prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
 @prefix owl:  <http://www.w3.org/2002/07/owl#> .
 @prefix prov: <http://www.w3.org/ns/prov#> .
[email protected] my:   <http://example.com/ontology#> .
 @prefix :     <http://example.com/> .
 
-# TODO
+# Although a domain extension (e.g. ':wasConductedBy') is not defined by PROV-O,
+# the relation between a surgery and an agent can still be qualified
+# by reusing prov:Influence and one of its three subclasses 
+# (depending on the type of the instance involved):
+# AgentInfluence, EntityInfluence, and ActivityInfluence.
+
+my:wasConductedBy rdfs:subPropertyOf prov:wasAssociatedWith .
+
+:conductingSurgery_1
+   a prov:Activity;
+   my:wasConductedBy :bob;     # This unqualified involvement is unknown in PROV, this would be a subproperty of wasAssocitedWith
+   prov:qualifiedAssociation [ # Even though PROV systems do not understand :wasConductedBy, 
+      a prov:Association,      # they can recognize that the unknonw relation is being qualified wtih hadRole.
+        prov:AgentInfluence,   # Inferred
+        prov:Influence;        # Inferred
+      prov:agent   :bob;       # The object of :wasConductedBy
+      prov:hadRole :surgeon;
+   ];
+.
+
+:bob       a prov:Agent .
+my:surgeon a prov:Role .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Involvement.ttl	Sat Jun 30 19:47:26 2012 -0400
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,29 +0,0 @@
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd:  <http://www.w3.org/2001/XMLSchema#> .
[email protected] owl:  <http://www.w3.org/2002/07/owl#> .
[email protected] prov: <http://www.w3.org/ns/prov#> .
[email protected] my:   <http://example.com/ontology#> .
[email protected] :     <http://example.com/> .
-
-# Although a domain extension (e.g. ':wasConductedBy') is not defined by PROV-O,
-# the relation between a surgery and an agent can still be qualified
-# by reusing prov:Involvement and one of its three subclasses 
-# (depending on the type of the instance involved):
-# AgentInvolvement, EntityInvolvement, and ActivityInvolement.
-
-my:wasConductedBy rdfs:subPropertyOf prov:wasAssociatedWith .
-
-:conductingSurgery_1
-   a prov:Activity;
-   my:wasConductedBy :bob;     # This unqualified involvement is unknown in PROV, this would be a subproperty of wasAssocitedWith
-   prov:qualifiedAssociation [ # Even though PROV systems do not understand :wasConductedBy, 
-      a prov:Association,      # they can recognize that the unknonw relation is being qualified wtih hadRole.
-        prov:AgentInvolvement, # Inferred
-        prov:Involvement;      # Inferred
-      prov:agent   :bob;       # The object of :wasConductedBy
-      prov:hadRole :surgeon;
-   ];
-.
-
-:bob       a prov:Agent .
-my:surgeon a prov:Role .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Removal.ttl	Sat Jun 30 19:47:26 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Removal.ttl	Sat Jun 30 19:52:09 2012 -0400
@@ -11,7 +11,7 @@
      prov:Entity;
    prov:derivedByRemovalFrom :c1;
    prov:qualifiedRemoval [
-      a prov:Removal, prov:DictionaryInvolvement;
+      a prov:Removal, prov:DictionaryInfluence;
       prov:dictionary :c1;
       prov:removedKey "k1"^^xsd:string, 
                       "k2"^^xsd:string;
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_activity.ttl	Sat Jun 30 19:47:26 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_activity.ttl	Sat Jun 30 19:52:09 2012 -0400
@@ -6,7 +6,7 @@
 
 :making-bar-chart
    a prov:Generation, 
-     prov:ActivityInvolvement;
+     prov:ActivityInfluence;
    prov:activity :illustrating;
    rdfs:comment "Ended up with bar chart as line chart looked ugly."@en;
 .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_derivedByRemovalFrom.ttl	Sat Jun 30 19:47:26 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_derivedByRemovalFrom.ttl	Sat Jun 30 19:52:09 2012 -0400
@@ -10,7 +10,7 @@
    a prov:Dictionary, prov:Entity;
    prov:derivedByRemovalFrom :c1;
    prov:qualifiedRemoval [
-      a prov:Removal, prov:DictionaryInvolvement;
+      a prov:Removal, prov:DictionaryInfluence;
       prov:dictionary :c1;
       prov:removedKey "k1"^^xsd:string, 
                       "k2"^^xsd:string;
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_removed.ttl	Sat Jun 30 19:47:26 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_removed.ttl	Sat Jun 30 19:52:09 2012 -0400
@@ -10,7 +10,7 @@
    prov:derivedByRemovalFrom :c1;
    prov:qualifiedRemoval [
       a prov:Removal, 
-        prov:DictionaryInvolvement;
+        prov:DictionaryInfluence;
       prov:dictionary :c1;
       prov:removed "k1"^^xsd:string, 
                     1337,