--- a/rdf-mt/index.html Thu Oct 24 00:02:09 2013 -0500
+++ b/rdf-mt/index.html Thu Oct 24 12:05:36 2013 -0500
@@ -165,7 +165,7 @@
<p><a>Semantic extension</a>s MAY impose special syntactic conditions or restrictions upon RDF graphs, such as requiring certain triples to be present, or prohibiting particular combinations of IRIs in triples, and MAY consider RDF graphs which do not conform to these conditions to be errors. For example, RDF statements of the form <br/><br/> <code>ex:a rdfs:subClassOf "Thing"^^xsd:string .</code><br/><br/> are prohibited in the OWL <a>semantic extension</a> based on description logics [[OWL2-SYNTAX]]. In such cases, basic RDF operations such as taking a subset of triples, or combining RDF graphs, may cause syntax errors in parsers which recognize the extension conditions. None of the <a>semantic extension</a>s normatively defined in this document impose such syntactic restrictions on RDF graphs.</p>
-<p>All entailment regimes MUST be <dfn>monotonic</dfn> extensions of the simple entailment regime described in the document, in the sense that if A simply <a>entail</a> B then A also entails B under any extended notion of entailment, provided that any syntactic conditions of the extension are also satisfied. Put another way, a <a>semantic extension</a> cannot "cancel" an entailment made by a weaker entailment regime, although it can treat the result as a syntax error.</p>
+<p>All entailment regimes MUST be <dfn>monotonic</dfn> extensions of the simple entailment regime described in the document, in the sense that if A simply <a>entail</a>s B then A also entails B under any extended notion of entailment, provided that any syntactic conditions of the extension are also satisfied. Put another way, a <a>semantic extension</a> cannot "cancel" an entailment made by a weaker entailment regime, although it can treat the result as a syntax error.</p>
</section>
<section>
@@ -607,10 +607,10 @@
<table border="1">
<tbody>
<tr>
- <td class="semantictable"><a id="rdfsemcond1"></a>x is
+ <td class="semantictable" id="rdfsemcond1">x is
in IP if and only if <x, I(<code>rdf:Property</code>)> is in IEXT(I(<code>rdf:type</code>))</td>
</tr>
-<tr><td class="semantictable"><a id="rdfsemcond3">For every IRI aaa in D, < x, I(aaa) > is in IEXT(I(<code>rdf:type</code>)) if and only if x is in the value space of I(aaa)</a></td></tr>
+<tr><td class="semantictable" id="rdfsemcond3">For every IRI aaa in D, < x, I(aaa) > is in IEXT(I(<code>rdf:type</code>)) if and only if x is in the value space of I(aaa)</td></tr>
</tbody>
@@ -620,7 +620,7 @@
<table border="1">
<tr>
- <td class="ruletable"><a id="RDF_axiomatic_triples"> </a><code>rdf:type rdf:type rdf:Property .<br/>
+ <td class="ruletable" id="RDF_axiomatic_triples"><code>rdf:type rdf:type rdf:Property .<br/>
rdf:subject rdf:type rdf:Property .<br/>
rdf:predicate rdf:type rdf:Property .<br/>
rdf:object rdf:type rdf:Property .<br/>
@@ -637,7 +637,7 @@
</tr>
</table>
-<p>RDF imposes no particular normative meanings on the rest of the RDF vocabulary. <a>Appendix D</a> describes the intended uses of some of this vocabulary.</p>
+<p>RDF imposes no particular normative meanings on the rest of the RDF vocabulary. <a href="#whatnot">Appendix D</a> describes the intended uses of some of this vocabulary.</p>
<p>The datatype IRIs <a href="http://www.w3.org/TR/rdf11-concepts/#dfn-language-tagged-string"><code>rdf:langString</code></a> and <a href="http://www.w3.org/TR/xmlschema11-2/#string"><code>xsd:string</code></a> MUST be <a>recognize</a>d by all RDF interpretations. </p>
@@ -775,7 +775,7 @@
<table border="1">
<tr>
- <td class="semantictable"> <p><a id="rdfssemcond1"></a>ICEXT(y) is defined to be { x : < x,y > is in IEXT(I(<code>rdf:type</code>)) }</p>
+ <td class="semantictable" id="rdfssemcond1"> <p>ICEXT(y) is defined to be { x : < x,y > is in IEXT(I(<code>rdf:type</code>)) }</p>
<p>IC is defined to be ICEXT(I(<code>rdfs:Class</code>))</p>
<p>LV is defined to be ICEXT(I(<code>rdfs:Literal</code>))</p>
<p>ICEXT(I(<code>rdfs:Resource</code>)) = IR</p>
@@ -786,53 +786,53 @@
</tr>
<tr>
- <td class="semantictable"> <p><a id="rdfssemcond2"></a>If
+ <td class="semantictable" id="rdfssemcond2"> <p>If
< x,y > is in IEXT(I(<code>rdfs:domain</code>)) and < u,v > is
in IEXT(x) then u is in ICEXT(y)</p></td>
</tr>
<tr>
- <td class="semantictable"> <p><a id="rdfssemcond3"></a>If
+ <td class="semantictable" id="rdfssemcond3"> <p>If
< x,y > is in IEXT(I(<code>rdfs:range</code>)) and < u,v > is
in IEXT(x) then v is in ICEXT(y)</p></td>
</tr>
<tr>
- <td class="semantictable"><p><a id="rdfssemcond4"></a>IEXT(I(<code>rdfs:subPropertyOf</code>))
+ <td class="semantictable" id="rdfssemcond4"><p>IEXT(I(<code>rdfs:subPropertyOf</code>))
is transitive and reflexive on IP</p></td>
</tr>
<tr>
- <td class="semantictable"> <p><a id="rdfssemcond5"></a>If
+ <td class="semantictable" id="rdfssemcond5"> <p>If
<x,y> is in IEXT(I(<code>rdfs:subPropertyOf</code>)) then x and
y are in IP and IEXT(x) is a subset of IEXT(y)</p></td>
</tr>
<tr>
- <td class="semantictable"><p><a id="rdfssemcond6"></a>If
+ <td class="semantictable" id="rdfssemcond6"><p>If
x is in IC then < x, I(<code>rdfs:Resource</code>) > is in IEXT(I(<code>rdfs:subClassOf</code>))</p></td>
</tr>
<tr>
- <td class="semantictable"><p><a id="rdfssemcond8"></a>IEXT(I(<code>rdfs:subClassOf</code>))
+ <td class="semantictable" id="rdfssemcond8"><p>IEXT(I(<code>rdfs:subClassOf</code>))
is transitive and reflexive on IC</p></td>
</tr>
<tr>
- <td class="semantictable"> <p><a id="rdfssemcond7"></a>If
+ <td class="semantictable" id="rdfssemcond7"> <p>If
< x,y > is in IEXT(I(<code>rdfs:subClassOf</code>)) then x and y are
in IC and ICEXT(x) is a subset of ICEXT(y)</p></td>
</tr>
<tr>
- <td class="semantictable"><p><a id="rdfssemcond9"></a>If
+ <td class="semantictable" id="rdfssemcond9"><p>If
x is in ICEXT(I(<code>rdfs:ContainerMembershipProperty</code>)) then:<br/>
< x, I(<code>rdfs:member</code>) > is in IEXT(I(<code>rdfs:subPropertyOf</code>))<br/>
</td>
</tr>
<tr>
- <td class="semantictable"><p><a id="rdfssemcond10"></a>If
+ <td class="semantictable" id="rdfssemcond10"><p>If
x is in ICEXT(I(<code>rdfs:Datatype</code>)) then <span >< x,
I(<code>rdfs:Literal</code>) > is in IEXT(I(<code>rdfs:subClassOf</code>))</span></p></td>
</tr>
@@ -842,10 +842,10 @@
- <p><a id="RDFS_axiomatic_triples"> </a>
+ <p>
</p>
<div class="tabletitle">RDFS axiomatic triples.</div>
- <table border="1">
+ <table border="1" id="RDFS_axiomatic_triples">
<tr>