--- a/model/ProvenanceModel.html Thu Nov 17 12:16:35 2011 +0000
+++ b/model/ProvenanceModel.html Thu Nov 17 12:46:26 2011 +0000
@@ -517,12 +517,12 @@
Entity Records (described in <a href="#record-Entity">Section Entity</a>). The file in its various forms and its copies are modelled as entity records, corresponding to multiple characterizations, as per scenario. The entity records are identified by <span class="name">e0</span>, ..., <span class="name">e6</span>.</p>
<pre>
entity(e0, [ prov:type="File", ex:path="/shared/crime.txt", ex:creator="Alice" ])
-entity(e1, [ prov:type="File", ex:path="/shared/crime.txt", ex:creator="Alice", content="" ])
-entity(e2, [ prov:type="File", ex:path="/shared/crime.txt", ex:creator="Alice", content="There was a lot of crime in London last month."])
-entity(e3, [ prov:type="File", ex:path="/shared/crime.txt", ex:creator="Alice", content="There was a lot of crime in London and New York last month."])
+entity(e1, [ prov:type="File", ex:path="/shared/crime.txt", ex:creator="Alice", ex:content="" ])
+entity(e2, [ prov:type="File", ex:path="/shared/crime.txt", ex:creator="Alice", ex:content="There was a lot of crime in London last month."])
+entity(e3, [ prov:type="File", ex:path="/shared/crime.txt", ex:creator="Alice", ex:content="There was a lot of crime in London and New York last month."])
entity(e4, [ ])
entity(e5, [ ])
-entity(e6, [ prov:type="File", ex:path="/shared/crime.txt", ex:creator="Alice", content="There was a lot of crime in London and New York last month.", spellchecked="yes"])
+entity(e6, [ prov:type="File", ex:path="/shared/crime.txt", ex:creator="Alice", ex:content="There was a lot of crime in London and New York last month.", ex:spellchecked="yes"])
</pre>
@@ -546,12 +546,12 @@
<p>
Activity Records (described in <a href="#record-Activity">Section Activity</a>) represent activities in the scenario.</p>
<pre>
-activity(a0,create-file,t,,[])
-activity(a1,add-crime-in-london,t+1,,[])
-activity(a2,email,t+2,,[])
-activity(a3,edit-London-New-York,t+3,,[])
-activity(a4,email,t+4,,[])
-activity(a5,spellcheck,,,[])
+activity(a0, create-file, 2011-11-16T16:00:00,,[])
+activity(a1, add-crime-in-london, 2011-11-16T16:05:00,,[])
+activity(a2, email, 2011-11-16T17:00:00,,[])
+activity(a3, edit-London-New-York, 2011-11-17T09:00:00,,[])
+activity(a4, email, 2011-11-17T09:30:00,,[])
+activity(a5, spellcheck,,,[])
</pre>
@@ -840,9 +840,9 @@
<p>
The following activity assertion</p>
<pre class="codeexample">
-activity(a1,add-crime-in-london,t+1,t+1+epsilon,[ex:host="server.example.org",prov:type="app:edit"])
+activity(a1,add-crime-in-london,2011-11-16T16:05:00,2011-11-16T16:06:00,[ex:host="server.example.org",prov:type="app:edit"])
</pre>
-<p>identified by identifier <span class="name">id</span>, states the existence of an activity with recipe link <span class="name">add-crime-in-london</span>, start time <span class="name">t+1</span>, and end time <span class="name">t+1+epsilon</span>, running on host <span class="name">server.example.org</span>, and of type <span class="name">edit</span> (declared in some namespace with prefix <span class="name">app</span>). The attribute <span class="name">host</span> is application specific, but MUST hold for the duration of activity. The attribute <span class="name">type</span> is a reserved attribute of PROV-DM, allowing for subtyping to be expressed.</p>
+<p>identified by identifier <span class="name">id</span>, states the existence of an activity with recipe link <span class="name">add-crime-in-london</span>, start time <span class="name">2011-11-16T16:05:00</span>, and end time <span class="name">2011-11-16T16:06:00</span>, running on host <span class="name">server.example.org</span>, and of type <span class="name">edit</span> (declared in some namespace with prefix <span class="name">app</span>). The attribute <span class="name">host</span> is application specific, but MUST hold for the duration of activity. The attribute <span class="name">type</span> is a reserved attribute of PROV-DM, allowing for subtyping to be expressed.</p>
</div>
<p>The mere existence of an activity assertion entails some event ordering in the world, since the start event precedes the end event. This is expressed by constraint <a href="#start-precedes-end">start-precedes-end</a>.</p>
@@ -2294,7 +2294,6 @@
<div class='issue'>There are a number of commonly used provenance relations in particular for the web that are not in the model. For practical use and uptake, it would be good to have definitions of these in the provenance model. These concepts should be defined in terms of the already existing "core" concepts. This is <a href="http://www.w3.org/2011/prov/track/issues/44">ISSUE-44</a>.</div>
-<div class='note'>Revision and participation should probably be moved here. </div>
<div class='note'>The types of these relations need to be made explicit.</div>