issue-459 paul
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Tue, 07 Aug 2012 12:06:07 +0100
changeset 4293 16b2b7c4e678
parent 4292 f5cb6f16aef1
child 4294 ad6e3f4d3547
issue-459 paul
model/prov-constraints.html
--- a/model/prov-constraints.html	Tue Aug 07 12:05:20 2012 +0100
+++ b/model/prov-constraints.html	Tue Aug 07 12:06:07 2012 +0100
@@ -440,7 +440,7 @@
 href="http://www.w3.org/2005/10/Process-20051014/tr#cfi">features at
 risk</a> related to the at-risk Mention feature of [[PROV-DM]]:
 <a class="rule-text" href="#mention-specialization-inference"><span>TBD</span></a> and
-<a class="rule-text" href="#mention-unique"><span>TBD</span></a>.
+<a class="rule-text" href="#unique-mention"><span>TBD</span></a>.
 These might be removed from PROV-CONSTRAINTS.</p>
 
 <h4>PROV Family of Specifications</h4>
@@ -992,7 +992,7 @@
 <tr class="component5-color">
 	<td><a>Mention</a></td>
 	<td><a class="rule-text" href="#mention-specialization-inference"><span>TBD</span></a><br>
-		<a class="rule-text" href="#mention-unique"><span>TBD</span></a><br>
+		<a class="rule-text" href="#unique-mention"><span>TBD</span></a><br>
 		<a class="rule-text" href="#typing"><span>TBD</span></a><br>
 	</td>
 </tr>
@@ -2317,12 +2317,12 @@
 </div>
   
 
-<div id='mention-unique_text'>
+<div id='unique-mention_text'>
 <p>An entity can be the subject of at most one mention relation.</p>
 </div>
 
 
-<div class='constraint' id='mention-unique'>
+<div class='constraint' id='unique-mention'>
 <p>
 <span class='conditional'>IF</span> <span class="name">mentionOf(e, e1, b1)</span> and <span class="name">mentionOf(e, e2, b2)</span>,
 <span class='conditional'>THEN</span>  <span class="name">e1</span>=<span class="name">e2</span> and <span class="name">b1</span>=<span class="name">b2</span>.</p>