removed influence irreflexivity constraint
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Mon, 06 Aug 2012 09:47:02 +0100
changeset 4268 c55899a46144
parent 4266 7d53cf53c4b7
child 4269 ec84af724713
removed influence irreflexivity constraint
model/prov-constraints.html
--- a/model/prov-constraints.html	Mon Aug 06 08:57:26 2012 +0100
+++ b/model/prov-constraints.html	Mon Aug 06 09:47:02 2012 +0100
@@ -926,7 +926,6 @@
 	<td class="essential"><a>Influence</a></td>
 	<td><a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
 		<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
-		<a class="rule-text" href="#impossible-influence-reflexive"><span>TBD</span></a><br>
 	</td>
 </tr>
 <tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
@@ -2909,17 +2908,6 @@
 <span class="math">I</span> is invalid).
 
 
-  <hr />
-
-<p id="impossible-influence-reflexive_text">Influence is required to
-  be <a>irreflexive</a>, that is, it is impossible for something to
-  influence itself.</p>
-
-        <div class='constraint' id="impossible-influence-reflexive">
-	  <p> <span class="conditional">IF</span> <span class="name">wasInfluencedBy(e,e)</span> <span class="conditional">THEN</span> <span class="conditional">INVALID</span>.</p>
-    </div>
-
-
 
     
 <hr />