--- a/ontology/Overview.html	Wed Oct 26 16:08:16 2011 +0100
+++ b/ontology/Overview.html	Wed Oct 26 16:10:17 2011 +0100
@@ -1549,6 +1549,7 @@
     prov:wasExpandedBy :e2 ;
     prov:wasExpandedAt :key2 .    </pre>
             </div>
+            <div class="issue">TODO: Write Collection examples as RDF/XML</div>
             <p>
             The above example describes collections <code>:col0</code>,
             <code>:col1</code> and <code>:col2</code>. We know that
@@ -1566,7 +1567,6 @@
             existence of the remaining <code>wasExpanded*</code> properties are implied.
             </div>
             <div class="issue">TODO: Express the constraint <em>expanded-collection</em> in the OWL ontology</div>
-            <div class="issue">TODO: Write Collection examples as RDF/XML</div>
             <div class="issue">Does prov:Collection allow replacement or 
             multiple additions on the same key?
             If we do a second expansion using the :key1,
@@ -2199,18 +2199,21 @@
               together with PROV can provide the provenance of executing
               the workflow defined above.
             </p>
-            <div class="exampleOuter"><pre class="example">&lt;rdf:RDF xmlns=&quot;http://www.w3.org/ns/prov-o/&quot;
+            <div class="exampleOuter"><pre class="example">&lt;rdf:RDF 
     xmlns:cnt=&quot;http://www.w3.org/2011/content#&quot;
     xmlns:foaf=&quot;http://xmlns.com/foaf/0.1/&quot;
     xmlns:prov=&quot;http://www.w3.org/ns/prov-o/&quot;
+    xmlns:time=&quot;http://www.w3.org/2006/time#&quot;
     xmlns:rdf=&quot;http://www.w3.org/1999/02/22-rdf-syntax-ns#&quot;
     xmlns:wf=&quot;http://www.example.com/scientific-workflow#&quot;
-    xmlns:base=&quot;http://www.example.com/run1#&quot; &gt;
+    xmlns:run=&quot;http://www.example.com/run1#&quot;
+    xmlns:base=&quot;http://www.example.com/run1#&quot;
+    &gt;
 
-    &lt;Agent rdf:about=&quot;#aUser&quot;&gt;
+    &lt;prov:Agent rdf:about=&quot;#aUser&quot;&gt;
         &lt;rdf:type rdf:resource=&quot;http://xmlns.com/foaf/0.1/Person&quot;/&gt;
         &lt;foaf:name&gt;Stian Soiland-Reyes&lt;/foaf:name&gt;
-    &lt;/Agent&gt;
+    &lt;/prov:Agent&gt;
 
     &lt;wf:WorkflowEngine rdf:about=&quot;#workflowEngine&quot; /&gt;
 
@@ -2235,25 +2238,48 @@
     &lt;/wf:Value&gt;
 
     &lt;wf:Process rdf:about=&quot;#workflowRun&quot;&gt;
-        &lt;used&gt;
+        &lt;prov:used&gt;
             &lt;wf:ValueAtPort&gt;
                 &lt;wf:sawValue rdf:resource=&quot;#input&quot;/&gt;
                 &lt;wf:seenAtPort rdf:resource=&quot;http://www.example.com/workflow1#inName&quot;/&gt;
+                &lt;prov:assumedRoleAt&gt;
+                    &lt;prov:Time&gt;
+                        &lt;time:inDateTimeXSD&gt;2011-10-21T09:21:31Z&lt;/time:inDateTimeXSD&gt;
+                    &lt;/prov:Time&gt;
+                &lt;/prov:assumedRoleAt&gt;
             &lt;/wf:ValueAtPort&gt;
-        &lt;/used&gt;
+        &lt;/prov:used&gt;
         &lt;wf:ranInWorkflowEngine rdf:resource=&quot;#workflowEngine&quot;/&gt;
         &lt;wf:wasLaunchedBy rdf:resource=&quot;#aUser&quot;/&gt;
         &lt;wf:wasDefinedBy rdf:resource=&quot;http://www.example.com/workflow1#workflow&quot;/&gt;
+        &lt;prov:startedAt&gt;
+            &lt;prov:Time&gt;
+                &lt;time:inDateTimeXSD&gt;2011-10-21T09:20:15Z&lt;/time:inDateTimeXSD&gt;
+            &lt;/prov:Time&gt;
+        &lt;/prov:startedAt&gt;
+        &lt;prov:endedAt&gt;
+            &lt;prov:Time&gt;
+                &lt;time:inDateTimeXSD&gt;2011-10-21T09:23:32Z&lt;/time:inDateTimeXSD&gt;
+            &lt;/prov:Time&gt;
+        &lt;/prov:endedAt&gt;
     &lt;/wf:Process&gt;
 
     &lt;wf:Process rdf:about=&quot;#constant&quot;&gt;
         &lt;wf:wasSubProcessExecutionOf rdf:resource=&quot;#workflowRun&quot;/&gt;
         &lt;wf:wasDefinedBy
         rdf:resource=&quot;http://www.example.com/workflow1#String_Constant&quot;/&gt;
+        &lt;prov:startedAt&gt;
+            &lt;prov:Time rdf:about=&quot;#t0&quot;&gt;
+                &lt;time:inDateTimeXSD&gt;2011-10-21T09:20:15Z&lt;/time:inDateTimeXSD&gt;
+            &lt;/prov:Time&gt;
+        &lt;/prov:startedAt&gt;
+        &lt;prov:endedAt rdf:resource=&quot;#t0&quot; /&gt;
     &lt;/wf:Process&gt;
 
     &lt;wf:Value rdf:about=&quot;#hello&quot;&gt;
-        &lt;wasGeneratedBy rdf:resource=&quot;#constant&quot;/&gt;
+        &lt;prov:wasGeneratedBy rdf:resource=&quot;#constant&quot;/&gt;
+        &lt;prov:wasGeneratedAt rdf:resource=&quot;#t0&quot;/&gt;
+        &lt;prov:endedAt rdf:resource=&quot;#t0&quot; /&gt;
         &lt;wf:value&gt;
             &lt;cnt:ContentAsText&gt;
                 &lt;cnt:chars&gt;Hello, &lt;/cnt:chars&gt;
@@ -2262,7 +2288,7 @@
     &lt;/wf:Value&gt;
 
     &lt;wf:ValueAtPort rdf:about=&quot;#helloValue&quot;&gt;
-        &lt;wasGeneratedBy rdf:resource=&quot;#constant&quot;/&gt;
+        &lt;prov:wasGeneratedBy rdf:resource=&quot;#constant&quot;/&gt;
         &lt;wf:value&gt;
             &lt;cnt:ContentAsText&gt;
                 &lt;cnt:chars&gt;Hello, &lt;/cnt:chars&gt;
@@ -2272,24 +2298,44 @@
     &lt;/wf:ValueAtPort&gt;
 
     &lt;wf:Process rdf:about=&quot;#combine&quot;&gt;
-        &lt;used&gt;
+        &lt;prov:used&gt;
           &lt;wf:ValueAtPort&gt;
             &lt;wf:sawValue rdf:resource=&quot;#hello&quot;/&gt;
             &lt;wf:seenAtPort rdf:resource=&quot;http://www.example.com/workflow1#catIn1&quot;/&gt;
+            &lt;prov:assumedRoleAt&gt;
+                &lt;prov:Time&gt;
+                    &lt;time:inDateTimeXSD&gt;2011-10-21T09:20:21Z&lt;/time:inDateTimeXSD&gt;
+                &lt;/prov:Time&gt;
+            &lt;/prov:assumedRoleAt&gt;
           &lt;/wf:ValueAtPort&gt;
-        &lt;/used&gt;
-        &lt;used&gt;
+        &lt;/prov:used&gt;
+        &lt;prov:used&gt;
           &lt;wf:ValueAtPort&gt;
             &lt;wf:sawValue rdf:resource=&quot;#input&quot;/&gt;
             &lt;wf:seenAtPort rdf:resource=&quot;http://www.example.com/workflow1#catIn2&quot;/&gt;
+            &lt;prov:assumedRoleAt&gt;
+                &lt;prov:Time&gt;
+                    &lt;time:inDateTimeXSD&gt;2011-10-21T09:20:23Z&lt;/time:inDateTimeXSD&gt;
+                &lt;/prov:Time&gt;
+            &lt;/prov:assumedRoleAt&gt;
           &lt;/wf:ValueAtPort&gt;
-        &lt;/used&gt;
+        &lt;/prov:used&gt;
         &lt;wf:wasSubProcessExecutionOf rdf:resource=&quot;#workflowRun&quot;/&gt;
         &lt;wf:wasDefinedBy rdf:resource=&quot;http://www.example.com/workflow1#cat&quot;/&gt;
+        &lt;prov:startedAt&gt;
+            &lt;prov:Time&gt;
+                &lt;time:inDateTimeXSD&gt;2011-10-21T09:20:20Z&lt;/time:inDateTimeXSD&gt;
+            &lt;/prov:Time&gt;
+        &lt;/prov:startedAt&gt;
+        &lt;prov:endedAt&gt;
+            &lt;prov:Time&gt;
+                &lt;time:inDateTimeXSD&gt;2011-10-21T09:20:25Z&lt;/time:inDateTimeXSD&gt;
+            &lt;/prov:Time&gt;
+        &lt;/prov:endedAt&gt;
     &lt;/wf:Process&gt;
 
     &lt;wf:Value rdf:about=&quot;#combined&quot;&gt;
-        &lt;wasGeneratedBy rdf:resource=&quot;#combine&quot;/&gt;
+        &lt;prov:wasGeneratedBy rdf:resource=&quot;#combine&quot;/&gt;
         &lt;wf:value&gt;
             &lt;cnt:ContentAsText&gt;
                 &lt;cnt:chars&gt;Hello, Steve&lt;/cnt:chars&gt;
@@ -2298,9 +2344,19 @@
     &lt;/wf:Value&gt;
 
     &lt;wf:Process rdf:about=&quot;#shasum&quot;&gt;
-        &lt;used rdf:resource=&quot;#combined&quot;/&gt;
+        &lt;prov:used rdf:resource=&quot;#combined&quot;/&gt;
         &lt;wf:wasSubProcessExecutionOf rdf:resource=&quot;#workflowRun&quot;/&gt;
         &lt;wf:wasDefinedBy rdf:resource=&quot;http://www.example.com/workflow1#shasum&quot;/&gt;
+        &lt;prov:startedAt&gt;
+            &lt;prov:Time&gt;
+                &lt;time:inDateTimeXSD&gt;2011-10-21T09:20:30Z&lt;/time:inDateTimeXSD&gt;
+            &lt;/prov:Time&gt;
+        &lt;/prov:startedAt&gt;
+        &lt;prov:endedAt&gt;
+            &lt;prov:Time&gt;
+                &lt;time:inDateTimeXSD&gt;2011-10-21T09:21:00Z&lt;/time:inDateTimeXSD&gt;
+            &lt;/prov:Time&gt;
+        &lt;/prov:endedAt&gt;
     &lt;/wf:Process&gt;
 
     &lt;wf:Value rdf:about=&quot;#sha1&quot;&gt;
@@ -2313,7 +2369,7 @@
     &lt;/wf:Value&gt;
 
     &lt;wf:ValueAtPort rdf:about=&quot;#sha1OutputFromShasum&quot;&gt;
-        &lt;wasGeneratedBy rdf:resource=&quot;#shasum&quot;/&gt;
+        &lt;prov:wasGeneratedBy rdf:resource=&quot;#shasum&quot;/&gt;
         &lt;wf:value&gt;
             &lt;cnt:ContentAsText&gt;
                 &lt;cnt:characterEncoding&gt;UTF-8&lt;/cnt:characterEncoding&gt;
@@ -2325,7 +2381,7 @@
     &lt;/wf:ValueAtPort&gt;
 
     &lt;wf:ValueAtPort rdf:about=&quot;#sha1OutputFromWorkflow&quot;&gt;
-        &lt;wasGeneratedBy rdf:resource=&quot;#workflowRun&quot;/&gt;
+        &lt;prov:wasGeneratedBy rdf:resource=&quot;#workflowRun&quot;/&gt;
         &lt;wf:value&gt;
             &lt;cnt:ContentAsText&gt;
                 &lt;cnt:characterEncoding&gt;UTF-8&lt;/cnt:characterEncoding&gt;
@@ -2336,7 +2392,7 @@
         &lt;wf:wasSeenAt rdf:resource=&quot;http://www.example.com/workflow1#sha1&quot;/&gt;
     &lt;/wf:ValueAtPort&gt;
 
-&lt;/rdf:RDF&gt;            </pre>
+&lt;/rdf:RDF&gt;</pre>
             <em>Example available as 
             <a href="examples/ontology-extensions/workflow/workflow.rdf">RDF/XML</a>
             and