Issue 391: support for collections

shacl12-core/index.html

@@ -2751,7 +2751,7 @@ <h4>Handling of Ill-formed Shapes Graphs</h4>
 
 				<section id="shapes-recursion">
 					<h4>Handling of Recursive Shapes</h4>
-					<p>
+					<p id="shape-expecting-constraint-parameters">
 						The following properties are the so-called <dfn data-lt="shape-expecting">shape-expecting constraint parameters</dfn> in SHACL Core:
 					</p>
 					<ul>
@@ -2761,6 +2761,7 @@ <h4>Handling of Recursive Shapes</h4>
 						<li><a href="#PropertyConstraintComponent">sh:property</a></li>
 						<li><a href="#QualifiedValueShapeConstraintComponent">sh:qualifiedValueShape</a></li>
 						<li><a href="#NodeConstraintComponent">sh:node</a></li>
+						<li><a href="#MemberShapeConstraintComponent">sh:memberShape</a></li>
 						<li><a href="#XoneConstraintComponent">sh:xone</a></li>
 					</ul>
 					<p>
@@ -2810,7 +2811,7 @@ <h3>Conformance Checking</h3>
 					<a>conforms</a> to a given <a>shape</a>, and <code>false</code> otherwise.
 				</p>
 				<p id="conformance-nested">
-					Note that some <a>constraint components</a> of SHACL Core (e.g., those of <code>sh:not</code>, <code>sh:or</code> and <code>sh:node</code>)
+					Note that all <a href="#shape-expecting-constraint-parameters">shape-expecting constraint parameters</a> of SHACL Core
 					rely on conformance checking.
 					In these cases, the <a>validation results</a> used to determine the outcome of conformance checking are
 					separated from those of the surrounding validation process and typically do not end up in the same validation report
@@ -5691,6 +5692,196 @@ <h4>sh:property</h4>
 					</p>
 				</section>
 
+				<section id="MemberShapeConstraintComponent">
+					<h4>sh:memberShape</h4>
+					<p>
+						<code>sh:memberShape</code> requires that each <a>value node</a> be a <a href="#syntax-rule-SHACL-list">SHACL list</a>,
+						and that each member of that list conforms to the given <a>node shape</a>.
+					</p>
+					<p>
+						<span class="component-class">Constraint Component IRI</span>: <code>sh:MemberShapeConstraintComponent</code>
+					</p>
+
+					<div class="parameters">Parameters:</div>
+					<table class="term-table">
+						<tr>
+							<th>Property</th>
+							<th>Summary and Syntax Rules</th>
+						</tr>
+						<tr>
+							<td><code>sh:memberShape</code></td>
+							<td>
+								The shape that all members of the <a href="#syntax-rule-SHACL-list">SHACL list</a> must conform to.
+								<span data-syntax-rule="memberShape-node">The value of <code>sh:memberShape</code> must be a <a>well-formed</a> <a>node shape</a>.</span>
+							</td>
+						</tr>
+					</table>
+					<div class="def def-text">
+						<div class="def-header">TEXTUAL DEFINITION</div>
+						<div class="def-text-body" data-validator="MemberShape">
+							Let <code>$memberShape</code> be a <a>value</a> of <code>sh:memberShape</code>.
+							Each <a>value node</a> <code>v</code> must be a <a href="#syntax-rule-SHACL-list">SHACL list</a> - a <a>failure</a> MUST be produced if <code>v</code> is not a SHACL list.
+							For each member <code>m</code> of the list <code>v</code>
+							a <a>failure</a> MUST be produced if the <a>conformance checking</a> of <code>m</code> against <code>$memberShape</code> produces a <a>failure</a>.
+							There MUST be at most one <a>validation result</a> for each list <code>v</code> and set of triggering constraints.
+
+							The <code>sh:detail</code> property SHOULD be used to specify the validation results for each member <code>m</code> of the list that fails conformance checking.
+							<code>m</code> SHOULD be used as the <code>sh:focusNode</code> for each <code>sh:detail</code> result.
+
+							The <code>sh:detail</code> property SHOULD also be used to specify when <code>v</code> is not a valid <a href="#syntax-rule-SHACL-list">SHACL list</a>.
+							<code>v</code> SHOULD be used as the <code>sh:focusNode</code> for this <code>sh:detail</code> result.
+						</div>
+					</div>
+					<p><em>The remainder of this section is informative.</em></p>
+					<p>
+						In the following example, all values of the property <code>ex:speakerOrder</code> must be RDF lists, and each member of those lists must be an IRI.
+						Note that <code>sh:memberShape</code> can be used in both property shapes (as shown) and node shapes (where it would apply to the focus node itself).
+
+						Examples of how to generate <code>sh:detail</code>s can be found in the test cases for <code>sh:memberShape</code> in the SHACL test suite: <a href="../shacl12-test-suite/tests/core/node/memberShape-001.ttl">memberShape-001.ttl</a>.
+					</p>
+					<aside class="example">
+						<div class="shapes-graph">
+							<div class="turtle">
+ex:AgendaShape
+	a sh:NodeShape ;
+	<span class="target-can-be-skipped">sh:targetClass ex:Agenda ;</span>
+	sh:property [
+		sh:path ex:speakerOrder ;
+		sh:memberShape [
+			sh:nodeKind sh:IRI ;
+		] ;
+		sh:maxCount 1 ;
+	] .
+							</div>
+							<div class="jsonld">
+								<pre class="jsonld">{
+	"@id": "ex:AgendaShape",
+	"@type": "sh:NodeShape",
+	"sh:property": {
+		"sh:maxCount": {
+			"@type": "xsd:integer",
+			"@value": "1"
+		},
+		"sh:memberShape": {
+			"sh:nodeKind": {
+				"@id": "sh:IRI"
+			}
+		},
+		"sh:path": {
+			"@id": "ex:speakerOrder"
+		}
+	},
+	"sh:targetClass": {
+		"@id": "ex:Agenda"
+	}
+}</pre>
+							</div>
+						</div>
+						<div class="data-graph">
+							<div class="turtle">
+ex:agenda1 a ex:Agenda ;
+	ex:speakerOrder ( ex:Alice ex:Bob ex:Charlie ) .
+
+<span class="focus-node-error">ex:agenda2</span> a ex:Agenda ;
+	ex:speakerOrder ( ex:Alice ex:Bob "Charlie" ) .
+							</div>
+							<div class="jsonld">
+								<pre class="jsonld">{
+	"@graph": [
+		{
+			"@id": "ex:agenda1",
+			"@type": "ex:Agenda",
+			"ex:speakerOrder": {
+				"@list": [
+					{
+						"@id": "ex:Alice"
+					},
+					{
+						"@id": "ex:Bob"
+					},
+					{
+						"@id": "ex:Charlie"
+					}
+				]
+			}
+		},
+		{
+			"@id": "ex:agenda2",
+			"@type": "ex:Agenda",
+			"ex:speakerOrder": {
+				"@list": [
+					{
+						"@id": "ex:Alice"
+					},
+					{
+						"@id": "ex:Bob"
+					},
+					"Charlie"
+				]
+			}
+		}
+	]
+}</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:agenda2 ;
+		sh:resultPath ex:speakerOrder ;
+		sh:value _:list2 ;
+		sh:resultMessage "Value does not conform to Shape ex:AgendaShape. See details for more information." ;
+		sh:sourceConstraintComponent sh:MemberShapeConstraintComponent ;
+		sh:sourceShape ex:AgendaShape ;
+		sh:detail [
+      rdf:type sh:ValidationResult ;
+      sh:focusNode "Charlie" ;
+      sh:resultMessage "Value is not of Node Kind sh:IRI" ;
+      sh:resultSeverity sh:Violation ;
+      sh:sourceConstraintComponent sh:NodeKindConstraintComponent ;
+      sh:sourceShape _:b1 ;
+      sh:value "Charlie" ;
+    ] ;
+	]
+] .
+							</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:agenda2"
+		},
+		"sh:resultMessage": "List member does not have the required node kind sh:IRI.",
+		"sh:resultPath": {
+			"@id": "ex:speakerOrder"
+		},
+		"sh:resultSeverity": {
+			"@id": "sh:Violation"
+		},
+		"sh:sourceConstraintComponent": {
+			"@id": "sh:MemberShapeConstraintComponent"
+		},
+		"sh:sourceShape": {
+			"@id": "ex:AgendaShape"
+		},
+		"sh:value": "Charlie"
+	}
+}</pre>
+							</div>
+						</div>
+					</aside>
+				</section>
+
 				<section id="QualifiedValueShapeConstraintComponent">
 					<h4>sh:qualifiedValueShape, sh:qualifiedMinCount, sh:qualifiedMaxCount</h4>
 					<p>

shacl12-test-suite/tests/core/node/manifest.ttl

@@ -26,6 +26,7 @@
 	mf:include <maxExclusive-001.ttl> ;
 	mf:include <maxInclusive-001.ttl> ;
 	mf:include <maxLength-001.ttl> ;
+	mf:include <memberShape-001.ttl> ;
 	mf:include <minExclusive-001.ttl> ;
 	mf:include <minInclusive-001.ttl> ;
 	mf:include <minInclusive-002.ttl> ;