Include sh:nodeByExpression example in the core spec scoped to the core spec

Author: mgberg

shacl12-core/index.html

@@ -6693,9 +6693,170 @@ <h4>sh:nodeByExpression</h4>
 						as an <a>IRI expression</a> that evaluates to a set containing the same <a>node shape</a>.
 					</p>
 					<p>
-						For a simple example of its use, refer to the example for <a href="#NodeConstraintComponent"><code>sh:node</code></a>,
-						replacing `sh:node` with `sh:nodeByExpression`.
+						In the following example, all values of the property <code>ex:address</code> must fulfill the
+						constraints expressed by the <a>shape</a> <code>ex:AddressShape</code>.
 					</p>
+										<aside class="example">
+						<div class="shapes-graph">
+							<div class="turtle">
+ex:AddressShape
+	a sh:NodeShape ;
+	sh:property [
+		sh:path ex:postalCode ;
+		sh:datatype xsd:string ;
+		sh:maxCount 1 ;
+	] .
+
+ex:PersonShape
+	a sh:NodeShape ;
+	<span class="target-can-be-skipped">sh:targetClass ex:Person ;</span>
+	sh:property [   # _:b1
+		sh:path ex:address ;
+		sh:minCount 1 ;
+		sh:nodeByExpression ex:AddressShape ;
+	] .
+							</div>
+							<div class="jsonld">
+								<pre class="jsonld">{
+	"@graph": [
+		{
+			"@id": "ex:AddressShape",
+			"@type": "sh:NodeShape",
+			"sh:property": {
+				"sh:datatype": {
+					"@id": "xsd:string"
+				},
+				"sh:maxCount": {
+					"@type": "xsd:integer",
+					"@value": "1"
+				},
+				"sh:path": {
+					"@id": "ex:postalCode"
+				}
+			}
+		},
+		{
+			"@id": "ex:PersonShape",
+			"@type": "sh:NodeShape",
+			"sh:property": {
+				"sh:minCount": {
+					"@type": "xsd:integer",
+					"@value": "1"
+				},
+				"sh:nodeByExpression": {
+					"@id": "ex:AddressShape"
+				},
+				"sh:path": {
+					"@id": "ex:address"
+				}
+			},
+			"sh:targetClass": {
+				"@id": "ex:Person"
+			}
+		}
+	]
+}</pre>
+							</div>
+						</div>
+						<div class="data-graph">
+							<div class="turtle">
+ex:Bob a ex:Person ;
+	ex:address ex:BobsAddress .
+
+ex:BobsAddress
+	ex:postalCode "1234" .
+
+<span class="focus-node-error">ex:Reto</span> a ex:Person ;
+	ex:address ex:RetosAddress .
+
+ex:RetosAddress
+	ex:postalCode 5678 .
+							</div>
+							<div class="jsonld">
+								<pre class="jsonld">{
+	"@graph": [
+		{
+			"@id": "ex:Bob",
+			"@type": "ex:Person",
+			"ex:address": {
+				"@id": "ex:BobsAddress"
+			}
+		},
+		{
+			"@id": "ex:BobsAddress",
+			"ex:postalCode": "1234"
+		},
+		{
+			"@id": "ex:Reto",
+			"@type": "ex:Person",
+			"ex:address": {
+				"@id": "ex:RetosAddress"
+			}
+		},
+		{
+			"@id": "ex:RetosAddress",
+			"ex:postalCode": {
+				"@type": "xsd:integer",
+				"@value": "5678"
+			}
+		}
+	]
+}</pre>
+							</div>
+						</div>
+						<div class="results-graph">
+							<div class="turtle">
+[	a sh:ValidationReport ;
+	sh:conforms false ;
+	sh:result [
+		a sh:ValidationResult ;
+		sh:resultSeverity sh:Violation ;
+		sh:focusNode ex:Reto ;
+		sh:resultPath ex:address ;
+		sh:value ex:RetosAddress ;
+		sh:resultMessage "Value does not conform to shape ex:AddressShape." ;
+		sh:sourceConstraint ex:AddressShape ;
+		sh:sourceConstraintComponent sh:NodeByExpressionConstraintComponent ;
+		sh:sourceShape _:b1 ;
+	]
+] .
+							</div>
+							<div class="jsonld">
+								<pre class="jsonld">{
+	"@type": "sh:ValidationReport",
+	"sh:conforms": {
+		"@type": "xsd:boolean",
+		"@value": "false"
+	},
+	"sh:result": {
+		"@type": "sh:ValidationResult",
+		"sh:focusNode": {
+			"@id": "ex:Reto"
+		},
+		"sh:resultMessage": "Value does not conform to shape ex:AddressShape.",
+		"sh:resultPath": {
+			"@id": "ex:address"
+		},
+		"sh:resultSeverity": {
+			"@id": "sh:Violation"
+		},
+		"sh:sourceConstraint": {
+			"@id": "ex:AddressShape"
+		},
+		"sh:sourceConstraintComponent": {
+			"@id": "sh:NodeByExpressionConstraintComponent"
+		},
+		"sh:sourceShape": {
+			"@id": "_:b66_b1"
+		},
+		"sh:value": {
+			"@id": "ex:RetosAddress"
+		}
+	}
+}</pre>
+							</div>
+						</div>
+					</aside>
 				</section>
 			</section>