Skip to content

Commit 1d65aeb

Browse files
pfpsgkelloggniklasl
authored
add pointers to tests (#134)
* add pointers to tests * Update spec/index.html Co-authored-by: Gregg Kellogg <gregg@greggkellogg.net> * Update spec/index.html Co-authored-by: Gregg Kellogg <gregg@greggkellogg.net> * Update spec/index.html Co-authored-by: Gregg Kellogg <gregg@greggkellogg.net> * Update spec/index.html Co-authored-by: Gregg Kellogg <gregg@greggkellogg.net> * Update spec/index.html Co-authored-by: Niklas Lindström <lindstream@gmail.com> --------- Co-authored-by: Gregg Kellogg <gregg@greggkellogg.net> Co-authored-by: Niklas Lindström <lindstream@gmail.com>
1 parent 235cb5c commit 1d65aeb

File tree

1 file changed

+37
-4
lines changed

1 file changed

+37
-4
lines changed

‎spec/index.html‎

Lines changed: 37 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -418,7 +418,10 @@ <h2>Simple Interpretations</h2>
418418
set of sets of pairs &lt; x, y &gt; with x and y in IR .</p>
419419
<p>4. A mapping IS from IRIs into (IR union IP)</p>
420420
<p>5. A partial mapping IL from literals into IR </p>
421-
<p>6. An injective mapping RE from IR x IP x IR into IR, called the denotation of triple terms. </p>
421+
<p id="simple-injective-tests" data-tests="rdf-semantics/index.html#all-identical-triple-terms-are-the-same,
422+
rdf-semantics/index.html#triple-term-not-asserted,
423+
rdf-semantics/index.html#triple-terms-no-spurious">
424+
6. An injective mapping RE from IR x IP x IR into IR, called the denotation of triple terms. </p>
422425
</td>
423426
</tr>
424427
</table>
@@ -526,7 +529,16 @@ <h3>Blank nodes</h3>
526529
<caption>Semantic condition for blank nodes.</caption>
527530
<tbody>
528531
<tr>
529-
<td class="semantictable">If E is an RDF graph then I(E) = true if [I+A](E) =
532+
<td id="blank_nodes-semantic-condition-tests" class="semantictable" data-tests="rdf-semantics/index.html#bnodes-in-triple-term-object,
533+
rdf-semantics/index.html#bnodes-in-triple-term-subject,
534+
rdf-semantics/index.html#bnodes-in-triple-term-subject-and-object,
535+
rdf-semantics/index.html#bnodes-in-triple-term-fail,
536+
rdf-semantics/index.html#constrained-bnodes-in-triple-term-fail,
537+
rdf-semantics/index.html#constrained-bnodes-in-triple-term-object,
538+
rdf-semantics/index.html#constrained-bnodes-in-triple-term-subject,
539+
rdf-semantics/index.html#same-bnode-same-quoted-term,
540+
rdf-semantics/index.html#different-bnodes-same-triple-term">
541+
If E is an RDF graph then I(E) = true if [I+A](E) =
530542
true for some mapping A from the set of blank nodes in E to IR, otherwise
531543
I(E)= false.</td>
532544
</tr>
@@ -852,6 +864,7 @@ <h2>D-interpretations</h2>
852864
<tr><td id="d-int-langString-tests" class="semantictable" data-tests="
853865
../rdf11/rdf-mt/index.html#tex-01-language-tag-case-1,
854866
../rdf11/rdf-mt/index.html#tex-01-language-tag-case-2,
867+
rdf-semantics/index.html#opaque-language-string,
855868
rdf-semantics/index.html#opaque-language-string-control">
856869
If <code>rdf:langString</code> is in D,
857870
then for every language-tagged string E with lexical form sss and language tag ttt,
@@ -860,7 +873,20 @@ <h2>D-interpretations</h2>
860873
then for every directional language-tagged string E with lexical form sss,
861874
language tag ttt, and base direction bbb,
862875
IL(E)= &lt; sss, ttt', bbb &gt;, where ttt' is ttt converted to lower case using US-ASCII rules</td></tr>
863-
<tr><td class="semantictable">For every other IRI aaa in D,
876+
<tr><td id="D_interpretations-literal-tests" class="semantictable" data-tests="rdf-semantics/index.html#malformed-literal,
877+
rdf-semantics/index.html#malformed-literal-accepted,
878+
rdf-semantics/index.html#malformed-literal-bnode,
879+
rdf-semantics/index.html#opaque-literal,
880+
rdf-semantics/index.html#opaque-literal-control,
881+
rdf-semantics/index.html#float-zero,
882+
rdf-semantics/index.html#float-round-different,
883+
rdf-semantics/index.html#float-round-same,
884+
rdf-semantics/index.html#float-infinity,
885+
rdf-semantics/index.html#double-zero,
886+
rdf-semantics/index.html#double-round-different,
887+
rdf-semantics/index.html#double-round-same,
888+
rdf-semantics/index.html#double-infinity">
889+
For every other IRI aaa in D,
864890
I(aaa) is the datatype identified by aaa, and for every literal
865891
"sss"^^aaa, IL("sss"^^aaa) = L2V(I(aaa))(sss)</td></tr>
866892
</tbody>
@@ -1024,7 +1050,14 @@ <h2>RDF Interpretations</h2>
10241050
and <a data-cite="XMLSCHEMA11-2#string"><code>xsd:string</code></a>
10251051
MUST be <a>recognized</a> by all RDF interpretations.</p>
10261052

1027-
<p>Three other datatypes &mdash; <a data-cite="RDF12-CONCEPTS#section-XMLLiteral"><code>rdf:XMLLiteral</code></a>,
1053+
<p id="rdf_d_interpretations-failure-tests" data-tests="rdf-semantics/index.html#json-array-unordered,
1054+
rdf-semantics/index.html#json-object-ordered,
1055+
rdf-semantics/index.html#json-zero,
1056+
rdf-semantics/index.html#json-zero-array,
1057+
rdf-semantics/index.html#json-round-different,
1058+
rdf-semantics/index.html#json-round-same,
1059+
rdf-semantics/index.html#json-infinity">
1060+
Three other datatypes &mdash; <a data-cite="RDF12-CONCEPTS#section-XMLLiteral"><code>rdf:XMLLiteral</code></a>,
10281061
<a data-cite="RDF12-CONCEPTS#section-html"><code>rdf:HTML</code></a>, and
10291062
<a data-cite="RDF12-CONCEPTS#section-json"><code>rdf:JSON</code></a> &mdash;
10301063
are defined in [[!RDF12-CONCEPTS]].

0 commit comments

Comments
 (0)