fix: reifierShape: corrected label, improved definition, moved sh:path constrain to parameter

Author: bergos

shacl12-core/index.html

@@ -5691,7 +5691,6 @@ <h4>sh:reifierShape, sh:reificationRequired</h4>
 					<p>
 						<code>sh:reifierShape</code> can be used to link a <a>property shape</a> with one or more <a>node shapes</a>.
 						Any <a>reifier</a> must conform to these node shapes.
-						If a property shape contains a <code>sh:ReifierShapeConstraintComponent</code>, <code>sh:path</code> values are constrained to IRIs.
 					</p>
 
 					<div class="parameters">Parameters:</div>
@@ -5704,7 +5703,10 @@ <h4>sh:reifierShape, sh:reificationRequired</h4>
 							<td><code>sh:reifierShape</code></td>
 							<td>
 								The <a>node shape</a> that a reifier for this triple must conform to.
-								<span data-syntax-rule="reifierShape-node">The values of <code>sh:reifierShape</code> must be <a>well-formed</a> <a>node shapes</a>.</span>
+								<span data-syntax-rule="reifierShape-node">
+									The values of <code>sh:reifierShape</code> must be <a>well-formed</a> <a>node shapes</a>.
+									If a value for <code>sh:reifierShape</code> is given, <code>sh:path</code> values are constrained to IRIs.
+								</span>
 							</td>
 						</tr>
 						<tr>
@@ -5722,7 +5724,7 @@ <h4>sh:reifierShape, sh:reificationRequired</h4>
 						<div class="def-text-body" data-validator="ReifierShape">
 							Let <code>t</code> be the <a>triple term</a> (<a>focus node</a>,  <code>$path</code>, <a>value node</a>).
 							For each <a>reifier</a> for the <a>triple term</a> <code>t</code>, a failure MUST be produced if validating the <a>reifier</a> against the <a>node shape</a> <code>$reifierShape</code> with the <a>reifier</a> as <a>focus node</a> produces a <a>failure</a>.
-							Otherwise, if the <a>reifiers</a> of <code>t</code> do not conform to <code>$reifierShape</code>, there is a validation result with <code>t</code> as <code>sh:value</code>.
+							For each <a>reifier</a> <code>t</code> that does not conform to <code>$reifierShape</code>, there is a validation result with <code>t</code> as <code>sh:value</code>.
 						</div>
 					</div>
 

shacl12-vocabularies/shacl.ttl

@@ -1141,7 +1141,7 @@ sh:ReifierShapeConstraintComponent-reificationRequired
 
 sh:reifierShape
 	a rdf:Property ;
-	rdfs:label "reifiable by"@en ;
+	rdfs:label "reifier shape"@en ;
 	rdfs:comment "The shape that the reified triples must conform to."@en ;
 	rdfs:range sh:NodeShape ;
 	rdfs:isDefinedBy sh: .