merged
authorTim L <lebot@rpi.edu>
Mon, 02 Apr 2012 15:22:52 -0400
changeset 2225 4f608f21a603
parent 2224 c813a1fbc286 (current diff)
parent 2223 d2306914175c (diff)
child 2227 22b8b4ede4ed
child 2229 19fbab638064
merged
--- a/model/prov-dm-constraints.html	Mon Apr 02 15:22:32 2012 -0400
+++ b/model/prov-dm-constraints.html	Mon Apr 02 15:22:52 2012 -0400
@@ -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 15:22:32 2012 -0400
+++ b/model/prov-dm.html	Mon Apr 02 15:22:52 2012 -0400
@@ -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">