made explicit what identifier of entity/agent/activity record is
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Tue, 29 Nov 2011 10:42:13 +0000
changeset 1088 1aa8d9eb9cc2
parent 1087 df0cf177d074
child 1089 7923196e5eb7
made explicit what identifier of entity/agent/activity record is
model/ProvenanceModel.html
--- a/model/ProvenanceModel.html	Tue Nov 29 10:36:15 2011 +0000
+++ b/model/ProvenanceModel.html	Tue Nov 29 10:42:13 2011 +0000
@@ -896,7 +896,7 @@
 
 <p>An entity record, noted <span class="name">entity(id, [ attr1=val1, ...])</span> in PROV-ASN, contains:</p>
 <ul>
-<li><em>id</em>: an identifier <span class="name">id</span> identifying an entity;</li>
+<li><em>id</em>: an identifier <span class="name">id</span> identifying an entity; the identifier of the entity record is defined to be the same as the identifier of the entity; </li>
 <li><em>attributes</em>: contains a set of attribute-value pairs <span class="name">[ attr1=val1, ...]</span>, representing this entity's situation in the world.</li>
 </ul>
 
@@ -986,7 +986,7 @@
 
 <p> An activity record, written <span class="name">activity(id, rl, st, et, [ attr1=val1, ...])</span> in PROV-ASN, contains:</p>
 <ul>
-<li><em>id</em>: an identifier <span class="name">id</span> identifying an activity;</li>
+<li><em>id</em>: an identifier <span class="name">id</span> identifying an activity; the identifier of the activity record is defined to be the same as the identifier of the activity;</li>
 <li><em>recipeLink</em>: an OPTIONAL <a href="#record-RecipeLink">recipe link</a> <span class="name">rl</span>, which consists of a domain specific specification of the activity;</li>
 <li><em>startTime</em>: an OPTIONAL time <span class="name">st</span> indicating the start of the activity;</li>
 <li><em>endTime</em>: an OPTIONAL time <span class="name">et</span> indicating the end of the activity;</li>
@@ -1065,7 +1065,7 @@
 
 <p>An agent record, noted <span class="name">agent(id, [ attr1=val1, ...])</span> in PROV-ASN, contains:</p>
 <ul>
-<li><em>id</em>: an identifier <span class="name">id</span> identifying an agent;</li>
+<li><em>id</em>: an identifier <span class="name">id</span> identifying an agent; the identifier of the agent record is defined to be the same as the identifier of the agent;</li>
 <li><em>attributes</em>: contains a set of attribute-value pairs <span class="name">[ attr1=val1, ...]</span>, representing this agent's situation in the world.</li>
 </ul>