Limit path for reification to IRIs

Author: bergos

shacl12-core/index.html

@@ -2064,7 +2064,9 @@ <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>.</span>
+					<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>
+
 					<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>
@@ -5719,7 +5721,7 @@ <h4>sh:reifiableBy, sh:reificationRequired</h4>
 					<div class="def def-text">
 						<div class="def-header">TEXTUAL DEFINITION</div>
 						<div class="def-text-body" data-validator="ReifiableBy">
-							Let <code>t</code> be the <a>triple terms</a> of the triples obtained from the last traversal step when following the <code>$path</code> <a>SHACL property path</a> of the <a>property shape</a> from the <a>focus node</a> to the <a>value node</a>.
+							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>.
 						</div>
 					</div>