merge
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Wed, 21 Nov 2012 21:48:49 +0000
changeset 4921 4907d5c450d8
parent 4920 cd422e368955 (current diff)
parent 4919 d5c277cfcfe1 (diff)
child 4922 0d3cacccfdca
merge
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Derivation.ttl	Wed Nov 21 21:48:29 2012 +0000
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Derivation.ttl	Wed Nov 21 21:48:49 2012 +0000
@@ -23,25 +23,32 @@
       prov:entity      :aggregatedByRegions;  
                           
       # Derivations can cite the influencing Activity in doing the derivation.
-      prov:hadActivity   :illustration_activity;
+      prov:hadActivity   :create_the_chart;
 
       # They can also cite the Usage and Generation that the Activity 
       # performed to generate :bar_chart.
-      prov:hadUsage      :how_illustration_activity_used_data;
-      prov:hadGeneration :bar_chart_generation;
+      prov:hadUsage      :data_loading;
+      prov:hadGeneration :plot_the_chart;
    ];
 .
 
-:illustration_activity 
+### The process during which the chart was created, from loading the data to the software, to process the data and plot the chart
+
+:create_the_chart 
    a prov:Activity;
    prov:wasAttributedTo :derek;
 .
 
-:bar_chart_generation
+### The final chart was plotted
+
+:plot_the_chart
    a prov:Generation, prov:InstantaneousEvent;
    prov:atTime "2012-04-03T00:00:01Z"^^xsd:dateTime;
 .
 
-:how_illustration_activity_used_data
+### The data was getting used to create the chart
+
+:data_loading
    a prov:Usage;
+   prov:atTime "2012-04-03T00:00:00Z"^^xsd:dateTime;
 .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_End.ttl	Wed Nov 21 21:48:29 2012 +0000
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_End.ttl	Wed Nov 21 21:48:49 2012 +0000
@@ -11,10 +11,19 @@
    prov:wasEndedBy :inconsistentResult;
    prov:qualifiedEnd [
       a prov:End;
-      prov:entity     :inconsistentResult;
-      prov:atTime     "2011-07-16T01:52:02Z"^^xsd:dateTime;
-      prov:atLocation :scienceLab_003;
+      prov:entity       :inconsistentResult;
+      prov:atTime       "2011-07-16T01:52:02Z"^^xsd:dateTime;
+      prov:atLocation   :scienceLab_003;
+      prov:hadActivity  :analyse_intermediate_result ; 
    ];
 .
    
 :inconsistentResult a prov:Entity .
+
+### An implicit process of analysing the intermediate result to confirm its expected consistency
+
+analyse_intermediate_result
+   a   prov:Activity ;
+   prov:startedAtTime   "2011-07-15T12:52:02Z"^^xsd:dateTime;
+   prov:endedAtTime     "2011-07-16T01:52:02Z"^^xsd:dateTime;
+.
\ No newline at end of file
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Start.ttl	Wed Nov 21 21:48:29 2012 +0000
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Start.ttl	Wed Nov 21 21:48:49 2012 +0000
@@ -6,15 +6,27 @@
 
 # Start can be used to qualify wasStartedBy with time and location information.
 
-:experimenting23
+:consistency_checking
    a prov:Activity;
-   prov:wasStartedBy :researcher;
+   prov:wasStartedBy :updated_data_record;
    prov:qualifiedStart [
       a prov:Start;
-      prov:entity    :researcher;
-      prov:atTime    "2011-07-06T01:48:36Z"^^xsd:dateTime;
-      prov:atLocation :scienceLab_003;
+      prov:entity       :updated_data_record;
+      prov:atTime       "2011-07-06T01:48:36Z"^^xsd:dateTime;
+      prov:atLocation   :scienceLab_003;
+      prov:hadActivity  :syntax_checking;
    ];
 .
 
-:researcher a prov:Agent .
+:updated_data_record a prov:Entity .
+
+### There is an explicit process of checking the syntax of the updated data record
+
+:syntax_checking
+   a   prov:Activity ;
+   prov:startedAtTime      "2011-07-06T01:48:36Z"^^xsd:dateTime;
+   prov:endedAtTime        "2011-07-06T02:12:36Z"^^xsd:dateTime;
+   prov:wasAssociatedWith  :syntax_checker ;
+.
+
+:syntax_checker   a   prov:SoftwareAgent .
\ No newline at end of file
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedDelegation.ttl	Wed Nov 21 21:48:29 2012 +0000
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedDelegation.ttl	Wed Nov 21 21:48:49 2012 +0000
@@ -34,9 +34,12 @@
       
       # The celebrity employed the chauffeur during the enforcement.
       ex:hadRole :employer; 
+      prov:hadActivity	    :driving-during-the-year ;
    ];
 .
 
+:driving-during-the-year   a   prov:Activity .
+
 :traffic_officer_34 
    a prov:Person;
    prov:actedOnBehalfOf :city-of-Paris;
@@ -46,5 +49,8 @@
       
       # The city of Paris employed the officer during the enforcement.
       ex:hadRole :employer; 
+      prov:hadActivity	    :control-city-traffic ;
    ];
 .
+
+:control-city-traffic   a   prov:Activity .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedDerivation.ttl	Wed Nov 21 21:48:29 2012 +0000
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedDerivation.ttl	Wed Nov 21 21:48:49 2012 +0000
@@ -11,6 +11,23 @@
       prov:entity :aggregatedByRegions; 
       
       ## More details about the activity underpinning the derivation        
-      prov:hadGeneration :illustration; 
+      prov:hadGeneration :chat_plotting; 
+      prov:hadActivity	 :chart_creation ;
    ];
 .
+
+### The process of creating the chart, from loading the data, to process it, and plot it to end users
+
+:chart_creation
+    a    prov:Activity ;
+    prov:startedAtTime  "2011-07-16T01:52:02Z"^^xsd:dateTime;
+    prov:endedAtTime	"2011-07-16T03:00:02Z"^^xsd:dateTime;
+.
+
+#### Now the chart is plotted
+
+:chat_plotting
+    a    prov:Generation ;
+    prov:endedAtTime    "2011-07-16T03:00:02Z"^^xsd:dateTime;
+.
+
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedEnd.ttl	Wed Nov 21 21:48:29 2012 +0000
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedEnd.ttl	Wed Nov 21 21:48:49 2012 +0000
@@ -4,17 +4,26 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
-## The end of the experiment might have been triggered by this inconsistent result
+# End can be used to qualify wasEndedBy with time and location information
 
 :experiment 
-   a prov:Acticity;
+   a prov:Activity;
    prov:wasEndedBy :inconsistentResult;
    prov:qualifiedEnd [
       a prov:End;
-      prov:entity     :inconsistentResult;
-      prov:atTime     "2011-07-16T01:52:02Z"^^xsd:dateTime;
-      prov:atLocation :scienceLab003;
+      prov:entity       :inconsistentResult;
+      prov:atTime       "2011-07-16T01:52:02Z"^^xsd:dateTime;
+      prov:atLocation   :scienceLab_003;
+      prov:hadActivity  :analyse_intermediate_result ; 
    ];
 .
+   
+:inconsistentResult a prov:Entity .
 
-:inconsistentResult a prov:Entity.
+### An implicit process of analysing the intermediate result to confirm its expected consistency
+
+analyse_intermediate_result
+   a   prov:Activity ;
+   prov:startedAtTime   "2011-07-15T12:52:02Z"^^xsd:dateTime;
+   prov:endedAtTime     "2011-07-16T01:52:02Z"^^xsd:dateTime;
+.
\ No newline at end of file
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedStart.ttl	Wed Nov 21 21:48:29 2012 +0000
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedStart.ttl	Wed Nov 21 21:48:49 2012 +0000
@@ -4,17 +4,29 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
-# Start can be used to qualify wasStartedBy with time and location information
+# Start can be used to qualify wasStartedBy with time and location information.
 
-:experiment
+:consistency_checking
    a prov:Activity;
-   prov:wasStartedBy :researcher;
+   prov:wasStartedBy :updated_data_record;
    prov:qualifiedStart [
       a prov:Start;
-      prov:entity     :researcher;
-      prov:atTime     "2011-07-06T01:48:36Z"^^xsd:dateTime;
-      prov:atLocation :scienceLab_003;
+      prov:entity       :updated_data_record;
+      prov:atTime       "2011-07-06T01:48:36Z"^^xsd:dateTime;
+      prov:atLocation   :scienceLab_003;
+      prov:hadActivity  :syntax_checking;
    ];
 .
 
-:researcher a prov:Agent .
+:updated_data_record a prov:Entity .
+
+### There is an explicit process of checking the syntax of the updated data record
+
+:syntax_checking
+   a   prov:Activity ;
+   prov:startedAtTime      "2011-07-06T01:48:36Z"^^xsd:dateTime;
+   prov:endedAtTime        "2011-07-06T02:12:36Z"^^xsd:dateTime;
+   prov:wasAssociatedWith  :syntax_checker ;
+.
+
+:syntax_checker   a   prov:SoftwareAgent .
\ No newline at end of file