--- a/model/prov-dm-constraints.html Mon Apr 02 14:32:36 2012 -0400
+++ b/model/prov-dm-constraints.html Mon Apr 02 20:13:57 2012 +0100
@@ -879,6 +879,10 @@
of <span class="name">e1</span>.
</p>
+<p> Derivation is not defined to be transitive. Domain-specific specializations of derivation may be defined in such a way that the transitivity property
+holds.</p>
+
+
<p></p>
<div class="structural-forward">
@@ -1017,16 +1021,6 @@
<section id="term-Specialization">
<h3>Specialization</h3>
-<p>Specialization is <em>neither reflexive nor irreflexive</em>.</p>
-
-<div class="anexample" id="anexample-specialization-not-reflexive">
-reflexive counter-example???
-</div>
-
-<div class="anexample" id="anexample-specialization-not-irrreflexive">
-irreflexive counter-example???
-</div>
-
<p>Specialization is <em>neither symmetric nor anti-symmetric</em>.
</p>
@@ -1054,18 +1048,8 @@
<h3>Alternate</h3>
</section>
-<div class="interpretation-forward">
-For the interpretation of alternate, see <a href="#alternate-ordering">alternate-ordering</a>.
-</div>
-
-
-
-<p>Alternate is <em>reflexive</em>. Indeed, <span class="name">alternate(e,e)</span> holds for any entity <span class="name">e</span> since any entity is always a specialization of another entity.</p>
-
-
-<div class="note">
-Is it the case that any entity is always a specialization of another? If no, then this rules out reflexivity.
-</div>
+
+<p>Alternate not is <em>reflexive</em>. Indeed, <span class="name">alternate(e,e)</span> does not hold for any arbitrary entity <span class="name">e</span> since <span class="name">e</span> may not be a specialization of another entity.</p>
<p>Alternate is <em>symmetric</em>. Indeed, if <span class="name">alternate(e1,e2)</span> holds,
@@ -1105,20 +1089,6 @@
</div>
-<div class="anexample" id="anexample-alternate-not-transitive2">
-<p>
-"Bob's blue car" is an alternate of "Bob's red car" (both specialization of "Bob's car").
-"Bob's red car" is an alternate of "Alice's red car" (both specialization of the "red car in the garage").
-This does not imply that "Bob's blue car" is an alternate of "Alice's red car".
-</div>
-
-
-
-<div class='issue'>A discussion on alternative definition of these relations has not reached a satisfactory conclusion yet. This is <a
-href="http://www.w3.org/2011/prov/track/issues/29">ISSUE-29</a>. Also <a href="http://www.w3.org/2011/prov/track/issues/96">ISSUE-96</a>.</div>
-
-
-
</section>
@@ -1170,7 +1140,7 @@
</div>
-<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>0
+<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>
@@ -1447,20 +1417,22 @@
<a>precedes</a> <a title="entity invalidation event">invalidation</a> event for <span class="name">ag2</span>.
</div>
-
+<!--
<p>Finally, two entities that are alternate of each other need to have some overlap.</p>
<div class='interpretation' id='alternate-ordering'>
-Given two agents <span class="name">e1</span> and <span class="name">e2</span>, <span class='conditional'>if</span> <span
+Given two entities <span class="name">e1</span> and <span class="name">e2</span>, <span class='conditional'>if</span> <span
class="name">alternate(e2,e1)</span>
holds, <span class='conditional'>then</span> the following ordering constraints hold: the
-<a title="entity generation event">generation</a> event of the agent denoted by <span class="name">e2</span>
+<a title="entity generation event">generation</a> event of the entity denoted by <span class="name">e2</span>
precedes the invalidation event of
-agent <span class="name">e1</span>, and
- the <a title="entity generation event">generation event</a> for agent denoted by <span class="name">e1</span>
+entity <span class="name">e1</span>, and
+ the <a title="entity generation event">generation event</a> for entity denoted by <span class="name">e1</span>
<a>precedes</a> <a title="entity invalidation event">invalidation</a> event for <span class="name">ag2</span>.
</div>
+-->
+
</section>
<section id="structural-constraints">
--- a/model/prov-dm.html Mon Apr 02 14:32:36 2012 -0400
+++ b/model/prov-dm.html Mon Apr 02 20:13:57 2012 +0100
@@ -1609,11 +1609,6 @@
</ul>
</div>
-<p> Derivation is not defined to be transitive. Domain-specific specializations of derivation may be defined in such a way that the transitivity property
-holds.</p>
-
-
-
<div class="anexample">