You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: shacl12-core/index.html
+15-14Lines changed: 15 additions & 14 deletions
Original file line number
Diff line number
Diff line change
@@ -273,9 +273,10 @@ <h3>Terminology</h3>
273
273
The phrase "Every value of P in graph G ..." means "Every object of a triple in G with predicate P ...".
274
274
(In this document, the verbs <em>specify</em> or <em>declare</em> are sometimes used to express the fact that an RDF term has values for a given predicate in a graph.)
275
275
<br>
276
-
<dfndata-lt="SPARQL property path">SPARQL property paths</dfn> are defined as in <ahref="https://www.w3.org/TR/sparql12-query/#pp-language">SPARQL 1.2</a>.
276
+
<dfndata-lt="SPARQL property path">SPARQL property paths</dfn> are defined as in <adata-cite="sparql12-query#pp-language">SPARQL 1.2</a>.
277
277
An RDF term <code>n</code> has value <code>v</code> for <a>SPARQL property path</a> expression
278
-
<code>p</code> in an RDF graph <code>G</code> if there is a solution mapping in the result of the SPARQL query
278
+
<code>p</code> in an RDF graph <code>G</code> if there is a
279
+
<adata-cite="sparql12-query#defn_sparqlSolutionMapping">solution mapping</a> in the result of the SPARQL query
279
280
<code>SELECT ?s ?o WHERE { ?s p' ?o }</code> on <code>G</code> that binds <code>?s</code> to
280
281
<code>n</code> and <code>?o</code> to <code>v</code>, where <code>p'</code> is SPARQL surface syntax for <code>p</code>.
The following sub-sections provide syntax rules of <a>well-formed</a><a>SHACL property paths</a>
1836
-
together with mapping rules to <ahref="https://www.w3.org/TR/sparql12-query/#pp-language">SPARQL 1.2 property paths</a>.
1837
+
together with mapping rules to <adata-cite="sparql12-query#pp-language">SPARQL 1.2 property paths</a>.
1837
1838
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>.
1838
1839
Two SHACL property paths are considered <dfn>equivalent paths</dfn> when they map to the exact same SPARQL property paths.
1839
1840
</p>
@@ -2733,7 +2734,7 @@ <h4>sh:datatype</h4>
2733
2734
For each <a>value node</a>
2734
2735
that is not a <a>literal</a>, or is a <a>literal</a> with a datatype that matches none of the <code>datatypes</code>,
2735
2736
there is a <a>validation result</a> with the <a>value node</a> as <code>sh:value</code>.<br><br>
2736
-
The datatype of a literal is determined following the <adata-cite="sparql12-query/#func-datatype">datatype</a> function of SPARQL 1.2.
2737
+
The datatype of a literal is determined following the <adata-cite="sparql12-query#func-datatype">datatype</a> function of SPARQL 1.2.
2737
2738
A <a>literal</a> matches a datatype if the <a>literal</a>'s datatype has the same <a>IRI</a>
2738
2739
and, for the datatypes supported by SPARQL 1.2, is not an <adata-cite="rdf12-concepts#section-Graph-Literal">ill-typed</a> literal.
Let <code>$maxLength</code> be a <a>parameter value</a> for <code>sh:maxLength</code>.
3285
3286
For each <a>value node</a><code>v</code>
3286
-
where the length (as defined by the <adata-cite="sparql12-query/#func-strlen">SPARQL STRLEN function</a>)
3287
-
of the string representation of <code>v</code> (as defined by the <adata-cite="sparql12-query/#func-str">SPARQL str function</a>)
3287
+
where the length (as defined by the <adata-cite="sparql12-query#func-strlen">SPARQL STRLEN function</a>)
3288
+
of the string representation of <code>v</code> (as defined by the <adata-cite="sparql12-query#func-str">SPARQL str function</a>)
3288
3289
is greater than <code>$maxLength</code>, or where <code>v</code> is a <a>blank node</a>,
3289
3290
there is a <a>validation result</a> with <code>v</code> as <code>sh:value</code>.
3290
3291
</div>
@@ -3338,13 +3339,13 @@ <h4>sh:pattern</h4>
3338
3339
<td>
3339
3340
A regular expression that all value nodes need to match.
3340
3341
<spandata-syntax-rule="pattern-datatype">The values of <code>sh:pattern</code> in a shape are literals with datatype <code>xsd:string</code>.</span>
3341
-
<spandata-syntax-rule="pattern-regex">The values of <code>sh:pattern</code> in a shape are valid pattern arguments for the <adata-cite="sparql12-query/#func-regex">SPARQL REGEX function</a>.</span>
3342
+
<spandata-syntax-rule="pattern-regex">The values of <code>sh:pattern</code> in a shape are valid pattern arguments for the <adata-cite="sparql12-query#func-regex">SPARQL REGEX function</a>.</span>
3342
3343
</td>
3343
3344
</tr>
3344
3345
<tr>
3345
3346
<td><code>sh:flags</code></td>
3346
3347
<td>
3347
-
An optional string of flags, interpreted as in <adata-cite="sparql12-query/#func-regex">SPARQL 1.2 REGEX</a>.
3348
+
An optional string of flags, interpreted as in <adata-cite="sparql12-query#func-regex">SPARQL 1.2 REGEX</a>.
3348
3349
<spandata-syntax-rule="flags-datatype">The values of <code>sh:flags</code> in a shape are literals with datatype <code>xsd:string</code>.</span>
3349
3350
</td>
3350
3351
</tr>
@@ -3357,8 +3358,8 @@ <h4>sh:pattern</h4>
3357
3358
Let <code>$flags</code> be a <a>parameter value</a> for <code>sh:flags</code>.
3358
3359
For each <a>value node</a>
3359
3360
that is a blank node or
3360
-
where the string representation (as defined by the <adata-cite="sparql12-query/#func-str">SPARQL str function</a>)
3361
-
does not match the regular expression <code>$pattern</code> (as defined by the <adata-cite="sparql12-query/#func-regex">SPARQL REGEX function</a>),
3361
+
where the string representation (as defined by the <adata-cite="sparql12-query#func-str">SPARQL str function</a>)
3362
+
does not match the regular expression <code>$pattern</code> (as defined by the <adata-cite="sparql12-query#func-regex">SPARQL REGEX function</a>),
3362
3363
there is a <a>validation result</a> with the <a>value node</a> as <code>sh:value</code>.
3363
3364
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.
Let <code>$singleLine</code> be a <a>parameter value</a> for <code>sh:singleLine</code>.
3431
3432
If <code>$singleLine</code> is <code>true</code>, then, for each <a>value node</a> that is a literal where the lexical form matches the
3432
-
regular expression (as defined by the <adata-cite="sparql12-query/#func-regex">SPARQL REGEX function</a>) <code>[\f\r\n\v]</code>, there is a validation result.
3433
+
regular expression (as defined by the <adata-cite="sparql12-query#func-regex">SPARQL REGEX function</a>) <code>[\f\r\n\v]</code>, there is a validation result.
3433
3434
</div>
3434
3435
</div>
3435
3436
<p><em>The remainder of this section is informative.</em></p>
@@ -3499,7 +3500,7 @@ <h4>sh:languageIn</h4>
3499
3500
For each <a>value node</a>
3500
3501
that is either not a <a>literal</a> or that does not have a language tag
3501
3502
matching any of the basic language ranges that are the <a>members</a> of <code>$languageIn</code>
3502
-
following the filtering schema defined by the <adata-cite="sparql12-query/#func-langMatches">SPARQL langMatches</a> function,
3503
+
following the filtering schema defined by the <adata-cite="sparql12-query#func-langMatches">SPARQL langMatches</a> function,
3503
3504
there is a <a>validation result</a> with the <a>value node</a> as <code>sh:value</code>.
0 commit comments