Skip to content

Commit d9ea5ee

Browse files
HolgerKnublauchHolgerKnublauch
committed
#255, #256: Corrected references to RDF 1.2 and SPARQL 1.2
1 parent 83a1bb9 commit d9ea5ee

File tree

2 files changed

+36
-36
lines changed

2 files changed

+36
-36
lines changed

‎shacl12-core/index.html

Lines changed: 18 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -500,7 +500,7 @@ <h3>Terminology</h3>
500500
<div class="def">
501501
<div class="term-def-header">Binding, Solution</div>
502502
<div>
503-
A <dfn data-lt="bindings">binding</dfn> is a pair (<a href="https://www.w3.org/TR/sparql11-query/#defn_QueryVariable">variable</a>, <a>RDF term</a>), consistent with the term's use in <a href="https://www.w3.org/TR/sparql11-query/">SPARQL</a>.
503+
A <dfn data-lt="bindings">binding</dfn> is a pair (<a data-cite="sparql12-query/#defn_QueryVariable">variable</a>, <a>RDF term</a>), consistent with the term's use in [[!sparql12-query]]</a>.
504504
A <dfn data-lt="solutions">solution</dfn> is a set of bindings, informally often understood as one row in the body of the result table of a SPARQL query.
505505
Variables are not required to be bound in a solution.
506506
</div>
@@ -844,7 +844,7 @@ <h3>Relationship between SHACL and RDFS inferencing</h3>
844844
<section id="shacl-sparql" class="informative">
845845
<h3>Relationship between SHACL and SPARQL</h3>
846846
<p>
847-
This specification uses parts of SPARQL 1.1 in non-normative alternative definitions of the semantics of <a>constraint components</a> and <a>targets</a>.
847+
This specification uses parts of SPARQL 1.2 in non-normative alternative definitions of the semantics of <a>constraint components</a> and <a>targets</a>.
848848
While these may help some implementers, SPARQL is not required for the implementation of the SHACL Core language.
849849
</p>
850850
<p>
@@ -1603,7 +1603,7 @@ <h4>SHACL Property Paths</h4>
16031603
</p>
16041604
<p>
16051605
The following sub-sections provide syntax rules of <a>well-formed</a> <a>SHACL property paths</a>
1606-
together with mapping rules to <a href="https://www.w3.org/TR/sparql11-query/#pp-language">SPARQL 1.1 property paths</a>.
1606+
together with mapping rules to <a href="https://www.w3.org/TR/sparql12-query/#pp-language">SPARQL 1.2 property paths</a>.
16071607
These rules define the <dfn>path mapping</dfn> <code>path(p,G)</code> in an RDF graph <code>G</code> of an RDF term <code>p</code> that is a SHACL property path in <code>G</code>.
16081608
Two SHACL property paths are considered <dfn data-lt="equivalent path">equivalent paths</dfn> when they map to the exact same SPARQL property paths.
16091609
</p>
@@ -1612,7 +1612,7 @@ <h4>SHACL Property Paths</h4>
16121612
<span data-syntax-rule="path-non-recursive">A node <code>p</code> is not a <a>well-formed</a> SHACL property path if <code>p</code> is a blank node and any path mappings of <code>p</code> directly or transitively reference <code>p</code>.</span>
16131613
</p>
16141614
<p>
1615-
The following example illustrates some valid SHACL property paths, together with their SPARQL 1.1 equivalents.
1615+
The following example illustrates some valid SHACL property paths, together with their SPARQL 1.2 equivalents.
16161616
</p>
16171617
<aside class="example">
16181618
<pre>SPARQL Property path: ex:parent
@@ -1881,9 +1881,9 @@ <h3>Shapes Graph</h3>
18811881
</p>
18821882
<p><em>The remainder of this section is informative.</em></p>
18831883
<p>
1884-
Shapes graphs can be reusable validation modules that can be cross-referenced with the predicate <a href="http://www.w3.org/TR/owl2-syntax/#Imports"><code>owl:imports</code></a>.
1884+
Shapes graphs can be reusable validation modules that can be cross-referenced with the predicate <a data-cite="owl2-syntax/#Imports"><code>owl:imports</code></a>.
18851885
As a pre-validation step, SHACL processors SHOULD extend the originally provided <a>shapes graph</a> by transitively following and importing all referenced <a>shapes graphs</a>
1886-
through the <a href="http://www.w3.org/TR/owl2-syntax/#Imports"><code>owl:imports</code></a> predicate.
1886+
through the <a data-cite="owl2-syntax/#Imports"><code>owl:imports</code></a> predicate.
18871887
The resulting graph forms the input <a>shapes graph</a> for validation and MUST NOT be further modified during the validation process.
18881888
</p>
18891889
<p>
@@ -1903,7 +1903,7 @@ <h3>Data Graph</h3>
19031903
For example, it can be an in-memory graph or a named graph from an RDF dataset or a SPARQL endpoint.
19041904
</p>
19051905
<p>
1906-
SHACL can be used with RDF graphs that are obtained by any means, e.g. from the file system, HTTP requests, or <a href="http://www.w3.org/TR/rdf11-concepts/#section-dataset">RDF datasets</a>.
1906+
SHACL can be used with RDF graphs that are obtained by any means, e.g. from the file system, HTTP requests, or <a data-cite="rdf12-concepts/#section-dataset">RDF datasets</a>.
19071907
SHACL makes no assumptions about whether a graph contains triples that are entailed from the graph under any RDF entailment regime.
19081908
</p>
19091909
<p>
@@ -2406,9 +2406,9 @@ <h4>sh:datatype</h4>
24062406
For each <a>value node</a>
24072407
that is not a <a>literal</a>, or is a <a>literal</a> with a datatype that does not match <code>$datatype</code>,
24082408
there is a <a>validation result</a> with the <a>value node</a> as <code>sh:value</code>.
2409-
The datatype of a literal is determined following the <a href="https://www.w3.org/TR/sparql11-query/#func-datatype">datatype</a> function of SPARQL 1.1.
2409+
The datatype of a literal is determined following the <a data-cite="sparql12-query/#func-datatype">datatype</a> function of SPARQL 1.2.
24102410
A <a>literal</a> matches a datatype if the <a>literal</a>'s datatype has the same <a>IRI</a>
2411-
and, for the datatypes supported by SPARQL 1.1, is not an <a href="https://www.w3.org/TR/rdf11-concepts#section-Graph-Literal">ill-typed</a> literal.
2411+
and, for the datatypes supported by SPARQL 1.2, is not an <a data-cite="rdf12-concepts#section-Graph-Literal">ill-typed</a> literal.
24122412
</div>
24132413
</div>
24142414
<p><em>The remainder of this section is informative.</em></p>
@@ -2842,8 +2842,8 @@ <h4>sh:minLength</h4>
28422842
<div class="def-header">TEXTUAL DEFINITION</div>
28432843
<div class="def-text-body" data-validator="MinLength">
28442844
For each <a>value node</a> <code>v</code>
2845-
where the length (as defined by the <a href="https://www.w3.org/TR/sparql11-query/#func-strlen">SPARQL STRLEN function</a>)
2846-
of the string representation of <code>v</code> (as defined by the <a href="http://www.w3.org/TR/sparql11-query/#func-str">SPARQL str function</a>)
2845+
where the length (as defined by the <a data-cite="sparql12-query/#func-strlen">SPARQL STRLEN function</a>)
2846+
of the string representation of <code>v</code> (as defined by the <a data-cite="sparql12-query/#func-str">SPARQL str function</a>)
28472847
is less than <code>$minLength</code>, or where <code>v</code> is a <a>blank node</a>,
28482848
there is a <a>validation result</a> with <code>v</code> as <code>sh:value</code>.
28492849
</div>
@@ -2891,8 +2891,8 @@ <h4>sh:maxLength</h4>
28912891
<div class="def-header">TEXTUAL DEFINITION</div>
28922892
<div class="def-text-body" data-validator="MaxLength">
28932893
For each <a>value node</a> <code>v</code>
2894-
where the length (as defined by the <a href="https://www.w3.org/TR/sparql11-query/#func-strlen">SPARQL STRLEN function</a>)
2895-
of the string representation of <code>v</code> (as defined by the <a href="http://www.w3.org/TR/sparql11-query/#func-str">SPARQL str function</a>)
2894+
where the length (as defined by the <a data-cite="sparql12-query/#func-strlen">SPARQL STRLEN function</a>)
2895+
of the string representation of <code>v</code> (as defined by the <a data-cite="sparql12-query/#func-str">SPARQL str function</a>)
28962896
is greater than <code>$maxLength</code>, or where <code>v</code> is a <a>blank node</a>,
28972897
there is a <a>validation result</a> with <code>v</code> as <code>sh:value</code>.
28982898
</div>
@@ -2947,13 +2947,13 @@ <h4>sh:pattern</h4>
29472947
<td>
29482948
A regular expression that all value nodes need to match.
29492949
<span data-syntax-rule="pattern-datatype">The values of <code>sh:pattern</code> in a shape are literals with datatype <code>xsd:string</code>.</span>
2950-
<span data-syntax-rule="pattern-regex">The values of <code>sh:pattern</code> in a shape are valid pattern arguments for the <a href="http://www.w3.org/TR/sparql11-query/#func-regex">SPARQL REGEX function</a>.</span>
2950+
<span data-syntax-rule="pattern-regex">The values of <code>sh:pattern</code> in a shape are valid pattern arguments for the <a data-cite="sparql12-query/#func-regex">SPARQL REGEX function</a>.</span>
29512951
</td>
29522952
</tr>
29532953
<tr>
29542954
<td><code>sh:flags</code></td>
29552955
<td>
2956-
An optional string of flags, interpreted as in <a href="http://www.w3.org/TR/sparql11-query/#func-regex">SPARQL 1.1 REGEX</a>.
2956+
An optional string of flags, interpreted as in <a data-cite="sparql12-query/#func-regex">SPARQL 1.2 REGEX</a>.
29572957
<span data-syntax-rule="flags-datatype">The values of <code>sh:flags</code> in a shape are literals with datatype <code>xsd:string</code>.</span>
29582958
</td>
29592959
</tr>
@@ -2963,8 +2963,8 @@ <h4>sh:pattern</h4>
29632963
<div class="def-text-body" data-validator="Pattern">
29642964
For each <a>value node</a>
29652965
that is a blank node or
2966-
where the string representation (as defined by the <a href="http://www.w3.org/TR/sparql11-query/#func-str">SPARQL str function</a>)
2967-
does not match the regular expression <code>$pattern</code> (as defined by the <a href="http://www.w3.org/TR/sparql11-query/#func-regex">SPARQL REGEX function</a>),
2966+
where the string representation (as defined by the <a data-cite="sparql12-query/#func-str">SPARQL str function</a>)
2967+
does not match the regular expression <code>$pattern</code> (as defined by the <a data-cite="sparql12-query/#func-regex">SPARQL REGEX function</a>),
29682968
there is a <a>validation result</a> with the <a>value node</a> as <code>sh:value</code>.
29692969
If <code>$flags</code> has a value then the matching MUST follow the definition of the 3-argument variant of the SPARQL REGEX function, using <code>$flags</code> as third argument.
29702970
</div>
@@ -3031,7 +3031,7 @@ <h4>sh:languageIn</h4>
30313031
For each <a>value node</a>
30323032
that is either not a <a>literal</a> or that does not have a language tag
30333033
matching any of the basic language ranges that are the <a>members</a> of <code>$languageIn</code>
3034-
following the filtering schema defined by the <a href="https://www.w3.org/TR/sparql11-query/#func-langMatches">SPARQL langMatches</a> function,
3034+
following the filtering schema defined by the <a data-cite="sparql12-query/#func-langMatches">SPARQL langMatches</a> function,
30353035
there is a <a>validation result</a> with the <a>value node</a> as <code>sh:value</code>.
30363036
</div>
30373037
</div>

0 commit comments

Comments
 (0)