3.2.3.3 slightly further simplified
authorPaolo Missier <pmissier@acm.org>
Tue, 07 Feb 2012 14:55:51 +0000
changeset 1478 7818ec21cfa5
parent 1477 d114b6defba6
child 1479 8304b1b3a928
3.2.3.3 slightly further simplified
model/working-copy/towards-wd4.html
--- a/model/working-copy/towards-wd4.html	Tue Feb 07 14:33:04 2012 +0000
+++ b/model/working-copy/towards-wd4.html	Tue Feb 07 14:55:51 2012 +0000
@@ -432,7 +432,7 @@
 
 <p>Further considerations:</p>
 <ul>
-<li>Activities are not entities, as explained below.</li>
+<li>The sets of Activities and Entities are disjoint, as explained below.</li>
 </ul>
 
 
@@ -485,7 +485,7 @@
 Indeed,  an entity exists in full at
 any point in its lifetime, persists during this
 interval, and preserves the characteristics that makes it
-identifiable.  Alternatively, an activity is something that happens,
+identifiable.  In contrast, an activity is something that happens,
 unfolds or develops through time, but is typically not identifiable by
 the characteristics it exhibits at any point during its duration. 
 This distinction is similar to the distinction between 
@@ -1116,7 +1116,7 @@
 
 <h4>Alternate  and Specialization</h4>
 
-<p>The purpose of this section is to introduce relations between two entities that characterize a same thing.
+<p>The purpose of this section is to introduce relations between two entities that provide different characterizations for the same thing.
 Consider for example three entities:
 </p>
 <ul>
@@ -1127,7 +1127,10 @@
   <li><span class="name">e3</span> denoting "Bob, the person".
 </ul>
 
-<p>These entities refer to the same the Bob, either in different contexts, or at different levels of abstraction. For example:
+<p>These entities refer to the same real person Bob, either in different contexts (e1 vs e2), or at different levels of abstraction (e3 is more abstract, i.e., it provides fewer details, than either e1 and e2.
+
+<!--
+For example:
 </p>
 
 <ol>
@@ -1135,8 +1138,11 @@
   <li> Entity denoted by <span class="name">e2</span>  provides a <em>more concrete</em> characterization of Bob  than <span class="name">e3</span> does;
   <li> The entities denoted by <span class="name">e1</span> and  <span class="name">e2</span> provide two different characterizations of the same thing, i.e., Bob.
 </ol>
+-->
 
-<p>Two relations are introduced to this end: </p>
+<p>The following two relations are introduced for expressing alternative or specialized characterisations. </p>
+
+<!--
 
 <ul>
 
@@ -1144,9 +1150,10 @@
   <li> e2 is an <em>alternative characterization</em> of e1<span class="withAsn">, written <span class="name">alternateOf(e2,e1)</span>,</span> captures the intent of assertion (3).
   
   </ul>
+-->
+  
 
-
-<p>An <dfn id="dfn-Alternate">alternate relation</dfn><span class="withAsn">, written <span class="name">alternateOf(alt1, alt2, attrs)</span> in PROV-ASN,</span> has the following constituents:</p>
+<p>An <dfn id="dfn-Alternate">alternate relation</dfn><span class="withAsn">, written <span class="name">alternateOf(alt1, alt2, attrs)</span> in PROV-ASN,</span>  captures the intent of assertions (1) and (2). It has the following constituents:</p>
 
 <ul>
 <li><em>first alternate</em>: an identifier <span class="name">alt1</span> of the first of the two entities</li>
@@ -1155,7 +1162,7 @@
 </ul>
 
 
-<p>A <dfn id="dfn-Specialization">specialization relation</dfn><span class="withAsn">, written <span class="name">specializationOf(sub, super, attrs)</span> in PROV-ASN,</span> has the following constituents:</p>
+<p>A <dfn id="dfn-Specialization">specialization relation</dfn><span class="withAsn">, written <span class="name">specializationOf(sub, super, attrs)</span> in PROV-ASN,</span>, captures the intent of assertion (3). It  has the following constituents:</p>
 
 <ul>
 <li><em>specialised entity</em>: an identifier of the specialised entity</li>