uncommented inference on revision which had been uncorrectly removed
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Thu, 07 Jun 2012 09:07:58 +0100
changeset 3208 fb29b9495ac7
parent 3207 0e9dbc08f2e3
child 3209 59e46da18517
uncommented inference on revision which had been uncorrectly removed
model/prov-constraints.html
--- a/model/prov-constraints.html	Thu Jun 07 09:07:39 2012 +0100
+++ b/model/prov-constraints.html	Thu Jun 07 09:07:58 2012 +0100
@@ -715,7 +715,7 @@
 <span class='conditional'>IF</span> <span class="name">wasDerivedFrom(-,e2,e1,[prov:type="prov:WasRevisionOf"])</span> holds, <span class='conditional'>THEN</span> the following 
 holds:
 <pre>
-alternateOf(e1,e2)
+alternateOf(e2,e1)
 </pre>
 </div>