updated section 4
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Mon, 02 Apr 2012 12:22:08 +0100
changeset 2193 d18357717011
parent 2192 b420bfef8763
child 2194 6bbc47ad770e
child 2195 64becd428da3
updated section 4
model/prov-dm-constraints.html
--- a/model/prov-dm-constraints.html	Mon Apr 02 12:09:16 2012 +0100
+++ b/model/prov-dm-constraints.html	Mon Apr 02 12:22:08 2012 +0100
@@ -1114,7 +1114,7 @@
 <p>PROV-DM allows for multiple descriptions of entities (and in general any identifiable object) to be expressed. </p>
 
 <div class="anexample" id="example-two-entities-one-id">
-<p>Let us consider two descriptions of a same entity, which we have taken from two different contexts (see example). A working draft published by the <span class="name">w3:Consortium</span>:</p>
+<p>Let us consider two descriptions of a same entity, which we have taken from two different contexts. A working draft published by the <span class="name">w3:Consortium</span>:</p>
 <pre class="codeexample">
 entity(tr:WD-prov-dm-20111215, [ prov:type="pr:RecsWD" %% xsd:QName ])
 </pre>
@@ -1123,7 +1123,7 @@
 entity(tr:WD-prov-dm-20111215, [ prov:type="document", ex:version="2" ])
 </pre>
 <p>Both descriptions are about the same entity identified  by
-<span class="name">tr:WD-prov-dm-20111215</span>, but they contain different attributes, reflecting the context in which they occur.
+<span class="name">tr:WD-prov-dm-20111215</span>, but they contain different attributes, describing the situation or partial state of the these entities according to the context in which they occur.
 </p>
 </div>
 
@@ -1134,9 +1134,9 @@
 
 <div class='constraint' id='unique-description-in-account'>
 <p>Given an entity identifier <span class="name">e</span>, there is at most one description 
-<span class="name">entity(e,av)</span> occurring in a given account, where <span class="name">av</span> is some set of attribute-values. Other descriptions of the same entity can exist in different accounts.</p>
-
-<p>This constraint similarly applies to all other types of identifiable entities and relations.</p>
+<span class="name">entity(e,attrs)</span> occurring in a given account, where <span class="name">attrs</span> is some set of attribute-values. Other descriptions of the same entity can exist in different accounts.</p>
+
+<p>This constraint similarly applies to all other types and relations, with explicit identity.</p>
 </div>
 
 <p>
@@ -1145,7 +1145,7 @@
 	</div>
 
 
-<p>In some cases, there may be a requirement for the two descriptions to be included in a same account. To satisfy the constraint <a href="#unique-description-in-account">unique-description-in-account</a>, we can adopt a different identifier for one of them, and relate the two descriptions with the <span class="name">alternateOf</span> relation. </p>
+<p>In some cases, there may be a requirement  for two different descriptions of a same entity to be included in a same account. To satisfy the constraint <a href="#unique-description-in-account">unique-description-in-account</a>, we can adopt a different identifier for one of them, and relate the two descriptions with the <span class="name">alternateOf</span> relation. </p>
 
 <div class="anexample" id="merge-with-rename">
 <p>We now reconsider the same two descriptions of a same entity, but we change the identifier for one of them:</p>