--- a/examples/eg-14-unqualified-and-qualified-times/rdf/eg-14-unqualified-and-qualified-times.ttl Sun Mar 04 12:28:40 2012 -0500
+++ b/examples/eg-14-unqualified-and-qualified-times/rdf/eg-14-unqualified-and-qualified-times.ttl Sun Mar 04 13:06:07 2012 -0500
@@ -10,17 +10,51 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-14-unqualified-and-qualified-times/rdf/eg-14-unqualified-and-qualified-times.ttl#> .
-.:dataSet
- prov:usedEntityAt "2012-03-03T21:04:54-05:00",
- "2012-04-04T21:04:54-05:00";
+:input_1 a prov:Entity .
+:input_2 a prov:Entity .
+:activity
+ a prov:Activity;
+ # Unqualified start
+ prov:startedAtTime "2012-01-01T01:01:01-05:00"^^xsd:dateTime;
+ # Qualified Start
+ prov:startedAt [
+ a prov:TimeInstant;
+ prov:atTime "2012-01-01T01:01:01-05:00"^^xsd:dateTime;
+ ];
+
+ # Unqualified usage:
+ prov:usedEntityAtTime "2012-02-02T01:02:02-05:00"^^xsd:dateTime,
+ "2012-03-03T01:03:03-05:00"^^xsd:dateTime;
prov:used :input_1, :input_2;
+
+ # Qualified Usage:
prov:qualified [
a prov:Usage;
prov:entity :input_1;
- prov:atTime "2012-03-03T21:04:54-05:00";
+ prov:atTime "2012-02-02T02:02:02-05:00";
], [
a prov:Usage;
prov:entity :input_2;
- prov:atTime "2012-04-04T21:04:54-05:00"
+ prov:atTime "2012-03-03T03:03:03-05:00"
+ ];
+
+ prov:generated :output;
+
+ # Unqualified end:
+ prov:endedAtL "2012-05-05T05:05:05-05:00"^^xsd:dateTime;
+ # Qualified End:
+ prov:endedAt [
+ a prov:TimeInstant;
+ prov:inXSDDateTime "2012-06-06T06:06:06-05:00"^^xsd:dateTime;
];
.
+
+:output
+ a prov:Entity;
+ prov:wasGeneratedBy :activity;
+ prov:qualified [
+ a prov:Generation;
+ prov:activity :activity;
+ prov:atTime "2012-05-05T05:05:05-05:00"^^xsd:dateTime;
+ ];
+.