Improved reifiableBy definitions, moved sh:path constraint

Author: bergos

shacl12-core/index.html

@@ -2064,9 +2064,7 @@ <h3>Property Shapes</h3>
 					that is the <a>subject</a> of a <a>triple</a> that has <code>sh:path</code> as its <a>predicate</a>.</span>
 					<span data-syntax-rule="path-maxCount">A shape has at most one <a>value</a> for <code>sh:path</code>.</span>
 					<span data-syntax-rule="path-node">The <a>value</a> of <code>sh:path</code> in a property shape is a <a>well-formed</a>
-					<a>SHACL property path</a>. If a property shape contains a <code>sh:ReifiableByConstraintComponent</code>,
-					<code>sh:path</code> values are constrained to IRIs.</span>
-
+					<a>SHACL property path</a>.</span>
 					<br/><br/>
 					It is recommended, but not required, for a <a>property shape</a> to be declared as a <a>SHACL instance</a> of <code>sh:PropertyShape</code>.
 					<span data-syntax-rule="PropertyShape-path-minCount"><a>SHACL instances</a> of <code>sh:PropertyShape</code> have one <a>value</a> for the property <code>sh:path</code>.</span>
@@ -5693,6 +5691,7 @@ <h4>sh:reifiableBy, sh:reificationRequired</h4>
 					<p>
 						<code>sh:reifiableBy</code> can be used to link a <a>property shape</a> with one or more <a>node shapes</a>.
 						Any reified statement must conform to these node shapes.
+						If a property shape contains a <code>sh:ReifiableByConstraintComponent</code>, <code>sh:path</code> values are constrained to IRIs.
 					</p>
 
 					<div class="parameters">Parameters:</div>
@@ -5723,13 +5722,14 @@ <h4>sh:reifiableBy, sh:reificationRequired</h4>
 						<div class="def-text-body" data-validator="ReifiableBy">
 							Let <code>t</code> be the <a>triple terms</a> (<a>focus node</a>,  <code>$path</code>, <a>value node</a>).
 							For each reified statement for the <a>triple terms</a> <code>t</code>, a failure MUST be produced if the validation of the reified statement with the <a>reifier</a> as <a>focus node</a> against the <a>node shape</a> <code>$reifiableBy</code> produces a <a>failure</a>.
+							Otherwise, if the reified statements of <code>t</code> do not conform to <code>$reifiableBy</code>, there is a validation result with <code>t</code> as <code>sh:value</code>.
 						</div>
 					</div>
 
 					<div class="def def-text">
 						<div class="def-header">TEXTUAL DEFINITION of sh:reificationRequired</div>
 						<div class="def-text-body" data-validator="ReificationRequired">
-							If <code>$reificationRequired</code> is set to <code>true</code>, a failure MUST be produced when there is no reified statement for the <a>triple term</a> <code>t</code> in the <a>data graph</a>.
+							If <code>$reificationRequired</code> is set to <code>true</code>, and when there is no reified statement for the <a>triple term</a> <code>t</code> in the <a>data graph</a> there is a validation result with <code>t</code> as <code>sh:value</code>.
 						</div>
 					</div>