diff --git a/shacl/index.html b/shacl/index.html index e3c0a1d6..4c8f9400 100644 --- a/shacl/index.html +++ b/shacl/index.html @@ -244,6 +244,7 @@
The following example shape states that all values of ex:prefLabel
can be either in English or Māori.
@@ -2574,7 +2575,7 @@
ex:UniqueLangExampleShape a sh:NodeShape ; @@ -3353,7 +3354,7 @@sh:closed, sh:ignoredProperties
and the object of the triple as itssh:value
.
The following example illustrates the use of sh:closed
in a shape to specify the condition
that certain focus nodes only have values for ex:exampleProperty1
and ex:exampleProperty2
.
@@ -3426,14 +3427,14 @@
sh:hasValue
is not among the value nodes.
ex:StanfordGraduate a sh:NodeShape ; @@ -4099,38 +4100,6 @@Validators based on SPARQL ASK Queries
The ASK queries returntrue
if and only if a given value node (represented by the pre-bound variablevalue
) conforms to the constraint. -- Prior to evaluation, a SHACL-SPARQL processor transforms the provided ASK query into a SELECT query using the following templates. - The resulting SELECT query can then be evaluated using the same algorithm as for SELECT-based validators. - The processor drops the ASK keyword, any top-level dataset clauses and solution modifiers, leaving only the
-GroupGraphPattern
including the outermost{...}
pair. - This block then substitutes...
in the template. -Template for
-sh:NodeShape
context:- SELECT $this ?value - WHERE { - BIND ($this AS ?value) . - FILTER NOT EXISTS ... - }-Template for
-sh:PropertyShape
context:- SELECT DISTINCT $this ?value - WHERE { - $this $PATH ?value . - FILTER NOT EXISTS ... - }-- The WG is awaiting input from the SPARQL Maintenance (EXISTS) Community Group - on potential changes to the semantics of EXISTS. --- Note that the template above includes a
-DISTINCT
keyword because a SPARQL path expression may - return the same?value
multiple times, yet each value node is only validated once. -- Once the corresponding template has been applied, the resulting SELECT query will be evaluated using the same approach as outlined above. - Actual SHACL implementations may of course use a different approach internally, as long as the results are equivalent to the described approach. -
The following example declares a constraint component using an ASK query.
@@ -4186,7 +4155,6 @@Pre-binding of Variables in SPARQL Queries
The following definition of what pre-binding means has not been approved by the WG yet, and is work in progress. - The WG is also awaiting input from the SPARQL Maintenance (EXISTS) Community Group.
Some features of the SPARQL-based extension mechanism of SHACL-SPARQL rely on the concept of pre-binding of variables.