--- a/ontology/ProvenanceFormalModel.html	Wed Oct 26 15:52:00 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html	Wed Oct 26 16:08:16 2011 +0100
@@ -1787,19 +1787,21 @@
               the workflow defined above.
             </p>
             <div class="exampleOuter"><pre class="example">
-
-&lt;rdf:RDF xmlns="http://www.w3.org/ns/prov-o/"
+&lt;rdf:RDF 
     xmlns:cnt="http://www.w3.org/2011/content#"
     xmlns:foaf="http://xmlns.com/foaf/0.1/"
     xmlns:prov="http://www.w3.org/ns/prov-o/"
+    xmlns:time="http://www.w3.org/2006/time#"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:wf="http://www.example.com/scientific-workflow#"
-    xmlns:base="http://www.example.com/run1#" &gt;
+    xmlns:run="http://www.example.com/run1#"
+    xmlns:base="http://www.example.com/run1#"
+    &gt;
 
-    &lt;Agent rdf:about="#aUser"&gt;
+    &lt;prov:Agent rdf:about="#aUser"&gt;
         &lt;rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Person"/&gt;
         &lt;foaf:name&gt;Stian Soiland-Reyes&lt;/foaf:name&gt;
-    &lt;/Agent&gt;
+    &lt;/prov:Agent&gt;
 
     &lt;wf:WorkflowEngine rdf:about="#workflowEngine" /&gt;
 
@@ -1824,25 +1826,48 @@
     &lt;/wf:Value&gt;
 
     &lt;wf:Process rdf:about="#workflowRun"&gt;
-        &lt;used&gt;
+        &lt;prov:used&gt;
             &lt;wf:ValueAtPort&gt;
                 &lt;wf:sawValue rdf:resource="#input"/&gt;
                 &lt;wf:seenAtPort rdf:resource="http://www.example.com/workflow1#inName"/&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="#workflowEngine"/&gt;
         &lt;wf:wasLaunchedBy rdf:resource="#aUser"/&gt;
         &lt;wf:wasDefinedBy rdf:resource="http://www.example.com/workflow1#workflow"/&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="#constant"&gt;
         &lt;wf:wasSubProcessExecutionOf rdf:resource="#workflowRun"/&gt;
         &lt;wf:wasDefinedBy
         rdf:resource="http://www.example.com/workflow1#String_Constant"/&gt;
+        &lt;prov:startedAt&gt;
+            &lt;prov:Time rdf:about="#t0"&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="#t0" /&gt;
     &lt;/wf:Process&gt;
 
     &lt;wf:Value rdf:about="#hello"&gt;
-        &lt;wasGeneratedBy rdf:resource="#constant"/&gt;
+        &lt;prov:wasGeneratedBy rdf:resource="#constant"/&gt;
+        &lt;prov:wasGeneratedAt rdf:resource="#t0"/&gt;
+        &lt;prov:endedAt rdf:resource="#t0" /&gt;
         &lt;wf:value&gt;
             &lt;cnt:ContentAsText&gt;
                 &lt;cnt:chars&gt;Hello, &lt;/cnt:chars&gt;
@@ -1851,7 +1876,7 @@
     &lt;/wf:Value&gt;
 
     &lt;wf:ValueAtPort rdf:about="#helloValue"&gt;
-        &lt;wasGeneratedBy rdf:resource="#constant"/&gt;
+        &lt;prov:wasGeneratedBy rdf:resource="#constant"/&gt;
         &lt;wf:value&gt;
             &lt;cnt:ContentAsText&gt;
                 &lt;cnt:chars&gt;Hello, &lt;/cnt:chars&gt;
@@ -1861,24 +1886,44 @@
     &lt;/wf:ValueAtPort&gt;
 
     &lt;wf:Process rdf:about="#combine"&gt;
-        &lt;used&gt;
+        &lt;prov:used&gt;
           &lt;wf:ValueAtPort&gt;
             &lt;wf:sawValue rdf:resource="#hello"/&gt;
             &lt;wf:seenAtPort rdf:resource="http://www.example.com/workflow1#catIn1"/&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="#input"/&gt;
             &lt;wf:seenAtPort rdf:resource="http://www.example.com/workflow1#catIn2"/&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="#workflowRun"/&gt;
         &lt;wf:wasDefinedBy rdf:resource="http://www.example.com/workflow1#cat"/&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="#combined"&gt;
-        &lt;wasGeneratedBy rdf:resource="#combine"/&gt;
+        &lt;prov:wasGeneratedBy rdf:resource="#combine"/&gt;
         &lt;wf:value&gt;
             &lt;cnt:ContentAsText&gt;
                 &lt;cnt:chars&gt;Hello, Steve&lt;/cnt:chars&gt;
@@ -1887,9 +1932,19 @@
     &lt;/wf:Value&gt;
 
     &lt;wf:Process rdf:about="#shasum"&gt;
-        &lt;used rdf:resource="#combined"/&gt;
+        &lt;prov:used rdf:resource="#combined"/&gt;
         &lt;wf:wasSubProcessExecutionOf rdf:resource="#workflowRun"/&gt;
         &lt;wf:wasDefinedBy rdf:resource="http://www.example.com/workflow1#shasum"/&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="#sha1"&gt;
@@ -1902,7 +1957,7 @@
     &lt;/wf:Value&gt;
 
     &lt;wf:ValueAtPort rdf:about="#sha1OutputFromShasum"&gt;
-        &lt;wasGeneratedBy rdf:resource="#shasum"/&gt;
+        &lt;prov:wasGeneratedBy rdf:resource="#shasum"/&gt;
         &lt;wf:value&gt;
             &lt;cnt:ContentAsText&gt;
                 &lt;cnt:characterEncoding&gt;UTF-8&lt;/cnt:characterEncoding&gt;
@@ -1914,7 +1969,7 @@
     &lt;/wf:ValueAtPort&gt;
 
     &lt;wf:ValueAtPort rdf:about="#sha1OutputFromWorkflow"&gt;
-        &lt;wasGeneratedBy rdf:resource="#workflowRun"/&gt;
+        &lt;prov:wasGeneratedBy rdf:resource="#workflowRun"/&gt;
         &lt;wf:value&gt;
             &lt;cnt:ContentAsText&gt;
                 &lt;cnt:characterEncoding&gt;UTF-8&lt;/cnt:characterEncoding&gt;
@@ -1925,7 +1980,8 @@
         &lt;wf:wasSeenAt rdf:resource="http://www.example.com/workflow1#sha1"/&gt;
     &lt;/wf:ValueAtPort&gt;
 
-&lt;/rdf:RDF&gt;            
+&lt;/rdf:RDF&gt;
+
             </pre>
             <em>Example available as 
             <a