diff --git a/shacl12-node-expr/index.html b/shacl12-node-expr/index.html index 8192165a..57fcf610 100644 --- a/shacl12-node-expr/index.html +++ b/shacl12-node-expr/index.html @@ -893,12 +893,13 @@

List Parameter Functions

Note that some named parameter functions — such as shnex:IntersectionExpression — also use a SHACL list as an object of the key parameter, similar to list parameter functions which always have a SHACL list as the object of their list parameter property. - However, these may produce more than one output nodes, and also accept lists as input nodes. + However, these may produce more than one output node, and also accept lists as input nodes.

- The following example uses multiple (imaginary) list parameter functions — - ex:coalesce and ex:concat — to compute the ex:displayName - of a person as either the value of ex:fullName or (if that doesn't exist) + The following example uses two list parameter functions — + the (hypothetical) ex:coalesce and the SPARQL-based sparql:concat — + to compute the ex:displayName + of a person either as the value of ex:fullName or (if that doesn't exist) as a concatenation of ex:firstName, a space, and ex:lastName.

@@ -917,9 +918,9 @@

List Parameter Functions

shnex:pathValues ex:fullName ; ] [ - ex:concat ( + sparql:concat ( [ shnex:pathValues ex:firstName ] # Path values expression with at most one value - " " # A constant literal expression + " " # A constant literal expression [ shnex:pathValues ex:lastName ] # Path values expression with at most one value ) ] @@ -1071,6 +1072,7 @@

List Expressions

rdf:first + MUST be a literal or an IRI. The first member of the list. @@ -1079,10 +1081,11 @@

List Expressions

rdf:rest - Must be a well-formed SHACL list. + Must be a well-formed SHACL list, where each member + is either a literal or an IRI. - The rest of the list, e.g. rdf:nil. + The rest of the list, e.g., rdf:nil. @@ -1092,7 +1095,8 @@

List Expressions

EVALUATION OF LIST EXPRESSIONS

- The output nodes of a list expression are the members of the SHACL list. + The output nodes of a list expression are the members of the list expression, + in the same order as in the list.

The remainder of this section is informative.