--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Derivation.ttl Wed Nov 21 21:04:31 2012 +0000
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Derivation.ttl Wed Nov 21 21:40:23 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:04:31 2012 +0000
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_End.ttl Wed Nov 21 21:40:23 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:04:31 2012 +0000
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Start.ttl Wed Nov 21 21:40:23 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:04:31 2012 +0000
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedDelegation.ttl Wed Nov 21 21:40:23 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:04:31 2012 +0000
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedDerivation.ttl Wed Nov 21 21:40:23 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:04:31 2012 +0000
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedEnd.ttl Wed Nov 21 21:40:23 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:04:31 2012 +0000
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedStart.ttl Wed Nov 21 21:40:23 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