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: ed/algorithms/shacl12-core.json
+1-1Lines changed: 1 addition & 1 deletion
Original file line number
Diff line number
Diff line change
@@ -9,7 +9,7 @@
9
9
"rationale": "add",
10
10
"steps": [
11
11
{
12
-
"html": "Add all <a data-cite=\"rdf12-concepts#dfn-rdf-node\" data-link-type=\"dfn\" href=\"https://www.w3.org/TR/rdf12-concepts/#dfn-rdf-node\" id=\"ref-for-index-term-node-16\">nodes</a> in the <a href=\"https://w3c.github.io/data-shapes/shacl12-core/#dfn-data-graphs\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-data-graphs-29\">data graph</a> that can be reached from the <a href=\"https://w3c.github.io/data-shapes/shacl12-core/#dfn-focus-node\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-focus-node-24\">focus node</a> with the <a href=\"https://w3c.github.io/data-shapes/shacl12-core/#dfn-path-mapping\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-path-mapping-2\">path mapping</a> of <code>p</code>."
12
+
"html": "Add all <a data-cite=\"rdf12-concepts#dfn-rdf-node\" data-link-type=\"dfn\" href=\"https://www.w3.org/TR/rdf12-concepts/#dfn-rdf-node\" id=\"ref-for-index-term-node-17\">nodes</a> in the <a href=\"https://w3c.github.io/data-shapes/shacl12-core/#dfn-data-graphs\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-data-graphs-29\">data graph</a> that can be reached from the <a href=\"https://w3c.github.io/data-shapes/shacl12-core/#dfn-focus-node\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-focus-node-24\">focus node</a> with the <a href=\"https://w3c.github.io/data-shapes/shacl12-core/#dfn-path-mapping\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-path-mapping-2\">path mapping</a> of <code>p</code>."
13
13
},
14
14
{
15
15
"html": "If <code>e</code> is the <a href=\"https://w3c.github.io/data-shapes/shacl12-core/#dfn-values\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-values-63\">value</a> of <code>sh:values</code> at the <a href=\"https://w3c.github.io/data-shapes/shacl12-core/#dfn-property-shapes\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-property-shapes-16\">property shape</a>,\n\t\t\t\t\t\t\tthen add the <a href=\"https://w3c.github.io/data-shapes/shacl12-core/#dfn-output-nodes\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-output-nodes-7\">output nodes</a> of <code>evalExpr(e, <a href=\"https://w3c.github.io/data-shapes/shacl12-core/#dfn-data-graphs\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-data-graphs-30\">data graph</a>, <a href=\"https://w3c.github.io/data-shapes/shacl12-core/#dfn-focus-node\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-focus-node-25\">focus node</a>, {})</code>."
Copy file name to clipboardExpand all lines: ed/algorithms/shacl12-node-expr.json
+30-1Lines changed: 30 additions & 1 deletion
Original file line number
Diff line number
Diff line change
@@ -5,7 +5,24 @@
5
5
},
6
6
"algorithms": [
7
7
{
8
-
"html": "Let <code>var</code> be the <a data-cite=\"shacl12-core#dfn-value\" data-link-type=\"dfn\" href=\"https://www.w3.org/TR/shacl12-core/#dfn-value\" id=\"ref-for-index-term-value-2\">value</a> of <code>shnex:var</code> in the <a href=\"https://w3c.github.io/data-shapes/shacl12-node-expr/#dfn-var-expression\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-var-expression-1\">var expression</a>.\n\t\t\t\t\t\t\tThe <a data-cite=\"shacl12-core#dfn-output-nodes\" data-link-type=\"dfn\" href=\"https://www.w3.org/TR/shacl12-core/#dfn-output-nodes\" id=\"ref-for-index-term-output-nodes-14\">output nodes</a> of the <a href=\"https://w3c.github.io/data-shapes/shacl12-node-expr/#dfn-var-expression\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-var-expression-2\">var expression</a> are computed as follows, in order:",
"html": "A <dfn data-plurals=\"list parameter functions\" id=\"dfn-list-parameter-function\" tabindex=\"0\" aria-haspopup=\"dialog\" data-dfn-type=\"dfn\">list parameter function</dfn> is a <a data-cite=\"shacl12-core#dfn-node-expression-function\" data-link-type=\"dfn\" href=\"https://www.w3.org/TR/shacl12-core/#dfn-node-expression-function\" id=\"ref-for-index-term-node-expression-function-6\">node expression function</a>\n\t\t\t\t\t\tthat is represented by a <a data-cite=\"rdf12-concepts#dfn-blank-node\" data-link-type=\"dfn\" href=\"https://www.w3.org/TR/rdf12-concepts/#dfn-blank-node\" id=\"ref-for-index-term-blank-node-6\">blank node</a> that is the <a data-cite=\"rdf12-concepts#dfn-subject\" data-link-type=\"dfn\" href=\"https://www.w3.org/TR/rdf12-concepts/#dfn-subject\" id=\"ref-for-index-term-subject-3\">subject</a> of a single\n\t\t\t\t\t\t<a data-cite=\"rdf12-concepts#dfn-rdf-triple\" data-link-type=\"dfn\" href=\"https://www.w3.org/TR/rdf12-concepts/#dfn-rdf-triple\" id=\"ref-for-index-term-rdf-triple-3\">triple</a> where the <a data-cite=\"rdf12-concepts#dfn-object\" data-link-type=\"dfn\" href=\"https://www.w3.org/TR/rdf12-concepts/#dfn-object\" id=\"ref-for-index-term-object-type-2\">object</a> <code>o</code> is conforming to one of the following syntax rules, in order:",
11
+
"rationale": "if",
12
+
"steps": [
13
+
{
14
+
"html": "If <code>o</code> is the empty <a data-cite=\"shacl12-core#dfn-shacl-list\" data-link-type=\"dfn\" href=\"https://www.w3.org/TR/shacl12-core/#dfn-shacl-list\" id=\"ref-for-index-term-shacl-list-2\">SHACL list</a> <code>rdf:nil</code> (written as <code>()</code> in Turtle)\n\t\t\t\t\t\t\tthen the arguments are the empty list.<br>\n\t\t\t\t\t\t\tExample: <code>[ sparql:now () ]</code>"
15
+
},
16
+
{
17
+
"html": "If <code>o</code> is a <a data-cite=\"rdf12-concepts#dfn-blank-node\" data-link-type=\"dfn\" href=\"https://www.w3.org/TR/rdf12-concepts/#dfn-blank-node\" id=\"ref-for-index-term-blank-node-7\">blank node</a> that is a <a data-cite=\"shacl12-core#dfn-well-formed\" data-link-type=\"dfn\" href=\"https://www.w3.org/TR/shacl12-core/#dfn-well-formed\" id=\"ref-for-index-term-well-formed-4\">well-formed</a> <a data-cite=\"shacl12-core#dfn-shacl-list\" data-link-type=\"dfn\" href=\"https://www.w3.org/TR/shacl12-core/#dfn-shacl-list\" id=\"ref-for-index-term-shacl-list-3\">SHACL list</a> where all\n\t\t\t\t\t\t\t<a data-cite=\"shacl12-core#dfn-members\" data-link-type=\"dfn\" href=\"https://www.w3.org/TR/shacl12-core/#dfn-members\" id=\"ref-for-index-term-members-2\">members</a> are <a data-cite=\"shacl12-core#dfn-well-formed\" data-link-type=\"dfn\" href=\"https://www.w3.org/TR/shacl12-core/#dfn-well-formed\" id=\"ref-for-index-term-well-formed-5\">well-formed</a> <a data-cite=\"shacl12-core#dfn-node-expression\" data-link-type=\"dfn\" href=\"https://www.w3.org/TR/shacl12-core/#dfn-node-expression\" id=\"ref-for-index-term-node-expression-10\">node expressions</a>,\n\t\t\t\t\t\t\tthen the arguments are the <a data-cite=\"shacl12-core#dfn-members\" data-link-type=\"dfn\" href=\"https://www.w3.org/TR/shacl12-core/#dfn-members\" id=\"ref-for-index-term-members-3\">members</a> of that list.<br>\n\t\t\t\t\t\t\tExamples: <code>[ sparql:plus ( 38 4 ) ]</code> and <code>[ sparql:abs ( -42 ) ]</code>"
18
+
},
19
+
{
20
+
"html": "If the function call has one argument,\n\t\t\t\t\t\t\tand the argument is a <a data-cite=\"shacl12-core#dfn-well-formed\" data-link-type=\"dfn\" href=\"https://www.w3.org/TR/shacl12-core/#dfn-well-formed\" id=\"ref-for-index-term-well-formed-6\">well-formed</a> <a data-cite=\"shacl12-core#dfn-node-expression\" data-link-type=\"dfn\" href=\"https://www.w3.org/TR/shacl12-core/#dfn-node-expression\" id=\"ref-for-index-term-node-expression-11\">node expression</a>,\n\t\t\t\t\t\t\tthen the argument can be given without the list.\n\t\t\t\t\t\t\tIt is equivalent to a function call with a list of one element.<br>\n\t\t\t\t\t\t\tExample: <code>[ sparql:abs -42 ]</code>, which is equivalent to\n\t\t\t\t\t\t\t<code>[ sparql:abs ( -42 ) ]</code>."
21
+
}
22
+
]
23
+
},
24
+
{
25
+
"html": "Let <code>var</code> be the <a data-cite=\"shacl12-core#dfn-value\" data-link-type=\"dfn\" href=\"https://www.w3.org/TR/shacl12-core/#dfn-value\" id=\"ref-for-index-term-value-2\">value</a> of <code>shnex:var</code> in the <a href=\"https://w3c.github.io/data-shapes/shacl12-node-expr/#dfn-var-expression\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-var-expression-1\">var expression</a>.\n\t\t\t\t\t\t\tThe <a data-cite=\"shacl12-core#dfn-output-nodes\" data-link-type=\"dfn\" href=\"https://www.w3.org/TR/shacl12-core/#dfn-output-nodes\" id=\"ref-for-index-term-output-nodes-15\">output nodes</a> of the <a href=\"https://w3c.github.io/data-shapes/shacl12-node-expr/#dfn-var-expression\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-var-expression-2\">var expression</a> are computed as follows, in order:",
"html": "Let <code>arg</code> be the <a data-cite=\"shacl12-core#dfn-value\" data-link-type=\"dfn\" href=\"https://www.w3.org/TR/shacl12-core/#dfn-value\" id=\"ref-for-index-term-value-34\">value</a> of <code>shnex:arg</code> in the <a href=\"https://w3c.github.io/data-shapes/shacl12-node-expr/#dfn-arg-expression\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-arg-expression-3\">arg expression</a>.\n\t\t\t\t\t\tThe <a data-cite=\"shacl12-core#dfn-output-nodes\" data-link-type=\"dfn\" href=\"https://www.w3.org/TR/shacl12-core/#dfn-output-nodes\" id=\"ref-for-index-term-output-nodes-51\">output nodes</a> of the <a href=\"https://w3c.github.io/data-shapes/shacl12-node-expr/#dfn-var-expression\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-var-expression-4\">var expression</a> are computed as follows, in order:",
41
+
"rationale": "if",
42
+
"steps": [
43
+
{
44
+
"html": "if <code>arg</code> is in the <code>scope</code> and has the value <code>a</code> then\n\t\t\t\t\t\t\t<code>evalExpr(expr, focusGraph, focusNode, scope) -> evalExpr(a, focusGraph, focusNode, {})</code>"
0 commit comments