initial eg 14 qual/unqual times ISSUE 280
authorTim L <lebot@rpi.edu>
Sun, 04 Mar 2012 13:06:07 -0500
changeset 1750 a7e1c279eb6c
parent 1749 7d13c5039583
child 1751 f139106942fb
initial eg 14 qual/unqual times ISSUE 280
examples/eg-14-unqualified-and-qualified-times/rdf/eg-14-unqualified-and-qualified-times.ttl
--- 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;
+   ];
+.