author Luc Moreau Mon, 03 Sep 2012 15:49:31 +0100 changeset 4387 fbf0f303bae3 parent 4386 41f262516185 child 4388 b5c30f258ef1
html compliance
 model/prov-constraints.html
```--- a/model/prov-constraints.html	Mon Sep 03 15:46:35 2012 +0100
+++ b/model/prov-constraints.html	Mon Sep 03 15:49:31 2012 +0100
@@ -1377,8 +1377,8 @@
instances can also be equivalent if they differ only in choice of
names of existential variables. Because of this, the appropriate
notion of equivalence of normal forms is <em>isomorphism</em>.  Two
-  instances <span class="math">I<sub>1</sub></span> and <span class="math">I<sub>2<sub></span> are <em>isomorphic</em> if there is an invertible
-  substitution <span class="math">S</span> mapping existential variables to existential variables such that <span class="math">S(I<sub>1</sub>) = I<sub>2<sub></span>.
+  instances <span class="math">I<sub>1</sub></span> and <span class="math">I<sub>2</sub></span> are <em>isomorphic</em> if there is an invertible
+  substitution <span class="math">S</span> mapping existential variables to existential variables such that <span class="math">S(I<sub>1</sub>) = I<sub>2</sub></span>.
This is similar to the notion of equivalence used in [[RDF]], where
blank nodes play an analogous role to existential variables.  </p>

@@ -1846,9 +1846,12 @@
variables to identifiers, literals, the placeholder <span class="name">-</span>,
or other <a>existential variables</a>.  A substitution <span class="math">S</span> can be
applied to an instance <span class="math">I</span> by replacing all occurrences of existential
-  variables <span class="math">x</span> in the instance with <span class="math">S(x)</span>.  <div
+  variables <span class="math">x</span> in the instance with <span class="math">S(x)</span>.
+</p>
+
+<div
class="note">More explanation may be needed</div>
-</p>
+
<p>
<a class="rule-ref" href="#optional-identifiers"><span>TBD</span></a>,
<a class="rule-ref" href="#optional-attributes"><span>TBD</span></a>, and
@@ -2007,7 +2010,7 @@
expanded by <a class="rule-ref"
href="#optional-identifiers"><span>TBD</span></a>, are not listed.</p>
<div id="expandable-parameters-fig">
-    <table id="expandable-parameters" border="1" class="thinborder" style="margin-left: auto; margin-right: auto; border-color: black;">
+    <table id="expandable-parameters_table" border="1" class="thinborder" style="margin-left: auto; margin-right: auto; border-color: black;">
<caption id="expandable-parameters">Table 3: Expandable and
Non-Expandable Parameters</caption>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>```