minor edits in section 5.3.1.1
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Tue, 29 Nov 2011 13:32:57 +0000
changeset 1090 5b2f0c9ddefa
parent 1089 7923196e5eb7
child 1091 a878c27be7ae
minor edits in section 5.3.1.1
model/ProvenanceModel.html
--- a/model/ProvenanceModel.html	Tue Nov 29 13:28:21 2011 +0000
+++ b/model/ProvenanceModel.html	Tue Nov 29 13:32:57 2011 +0000
@@ -1164,7 +1164,7 @@
 <section id="record-relation">
 <h3>Relation</h3>
 
-<p>This section describes all the PROV-DM records creating associations between the elements introduced in <a href="#record-element">Section element</a>. While these relations are not binary,  they all involve two primary elements. They can be summarized as follows. </p>
+<p>This section describes all the PROV-DM records representing relations between the elements introduced in <a href="#record-element">Section Element</a>. While these relations are not binary,  they all involve two primary elements. They can be summarized as follows. </p>
 
 
 <div class="table">
@@ -1191,8 +1191,7 @@
 <p>In PROV-DM, a <dfn id="dfn-Generation">generation record</dfn> is a representation of a world <a title="entity generation event">event</a>, the creation of a new entity by an activity. This entity did not exist before creation. 
 The representation of this <a>event</a> encompasses a description of the modalities of generation of this entity by this activity.</p>
 
-<p>A generation event may be the creation of a file by a program, the creation of a linked data set, the production of a new version of a document, the sending of a value on a communication channel.
-</p>
+<p>A generation event may be, for example, the creation of a file by a program, the creation of a linked data set, the production of a new version of a document, and the sending of a value on a communication channel.</p>
 
 <p>A generation record, written <span class="name">wasGeneratedBy(id,e,a,attrs,t)</span> in PROV-ASN, has the following components:</p>
 <ul>
@@ -1246,7 +1245,7 @@
 <p>The assertion of a generation record implies ordering of <a title="event">events</a> in the world.</p>
 
 
-<div class='interpretation' id='generation-activity-ordering'><span class='conditional'>If</span> an assertion <span class="name">wasGeneratedBy(x,a,attrs)</span> or <span class="name">wasGeneratedBy(x,a,attrs,t)</span>, <span class='conditional'>then</span> <a title="entity generation event">generation</a> of the entity denoted by <span class="name">x</span> <a>precedes</a> the <a title="activity end event">end</a>
+<div class='interpretation' id='generation-activity-ordering'><span class='conditional'>If</span> an assertion <span class="name">wasGeneratedBy(x,a,attrs)</span> or <span class="name">wasGeneratedBy(x,a,attrs,t)</span> holds, <span class='conditional'>then</span> the following temporal constraint also holds: the <a title="entity generation event">generation</a> of the entity denoted by <span class="name">x</span> <a>precedes</a> the <a title="activity end event">end</a>
 of <span class="name">a</span> and <a>follows</a> the <a title="activity start event">start</a> of <span class="name">a</span>. 
 </div>