Renamed to sh:reifierShape

Author: bergos

shacl12-core/index.html

@@ -5686,12 +5686,12 @@ <h4>sh:qualifiedValueShape, sh:qualifiedMinCount, sh:qualifiedMaxCount</h4>
 					</aside>
 				</section>
 
-				<section id="ReifiableByShapeConstraintComponent">
-					<h4>sh:reifiableBy, sh:reificationRequired</h4>
+				<section id="ReifierShapeShapeConstraintComponent">
+					<h4>sh:reifierShape, 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.
+						<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>
@@ -5701,16 +5701,16 @@ <h4>sh:reifiableBy, sh:reificationRequired</h4>
 							<th>Summary and Syntax Rules</th>
 						</tr>
 						<tr>
-							<td><code>sh:reifiableBy</code></td>
+							<td><code>sh:reifierShape</code></td>
 							<td>
-								The <a>node shape</a> that the reified statement must conform to.
-								<span data-syntax-rule="reifiableBy-node">The values of <code>sh:reifiableBy</code> must be <a>well-formed</a> <a>node shapes</a>.</span>
+								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>
 							</td>
 						</tr>
 						<tr>
 							<td><code>sh:reificationRequired</code></td>
 							<td>
-								This is an <a>optional parameter</a> of <code>sh:ReifiableByConstraintComponent</code>.
+								This is an <a>optional parameter</a> of <code>sh:ReifierShapeConstraintComponent</code>.
 								If set to <code>true</code>, there must be at least one reification value for the focus node/path combination in the <a>data graph</a>.
 								<span data-syntax-rule="reificationRequired-datatype">The values of <code>sh:reificationRequired</code> in a shape are literals with datatype <code>xsd:boolean</code>.</span>
 							</td>
@@ -5719,10 +5719,10 @@ <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">
+						<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 reified statement for the <a>triple term</a> <code>t</code>, a failure MUST be produced if validating the reified statement against the <code>$reifiableBy</code> <a>node shape</a> with the <a>reifier</a> as <a>focus node</a> 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>.
+							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>.
 						</div>
 					</div>
 
@@ -5759,7 +5759,7 @@ <h4>sh:reifiableBy, sh:reificationRequired</h4>
   sh:path ex:age ;
   sh:datatype xsd:integer ;
   sh:maxCount 1 ;
-  sh:reifiableBy ex:ProvenanceShape ;
+  sh:reifierShape ex:ProvenanceShape ;
   sh:reificationRequired true .
 							</div>
 							<div class="jsonld">

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

@@ -35,8 +35,8 @@
 	mf:include <or-001.ttl> ;
 	mf:include <pattern-001.ttl> ;
 	mf:include <pattern-002.ttl> ;
-	mf:include <reifiableBy-001.ttl> ;
-	mf:include <reifiableBy-002.ttl> ;
+	mf:include <reifierShape-001.ttl> ;
+	mf:include <reifierShape-002.ttl> ;
 	mf:include <xone-001.ttl> ;
 	mf:include <xone-duplicate.ttl> ;
 	mf:include <qualified-001.ttl> ;

shacl12-test-suite/tests/core/node/reifiableBy-001.ttl renamed to shacl12-test-suite/tests/core/node/reifierShape-001.ttl

@@ -1,5 +1,5 @@
 @prefix dash: <http://datashapes.org/dash#> .
-@prefix ex: <http://datashapes.org/sh/tests/core/node/reifiableBy-001.test#> .
+@prefix ex: <http://datashapes.org/sh/tests/core/node/reifierShape-001.test#> .
 @prefix mf: <http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#> .
 @prefix owl: <http://www.w3.org/2002/07/owl#> .
 @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@@ -30,7 +30,7 @@ ex:TestShape
 .
 ex:TestShape-propertyA
   sh:path ex:propertyA ;
-  sh:reifiableBy ex:ReifyShape ;
+  sh:reifierShape ex:ReifyShape ;
 .
 ex:ValidResource1
   ex:propertyA "valid" {|
@@ -40,12 +40,12 @@ ex:ValidResource1
 <>
   rdf:type mf:Manifest ;
   mf:entries (
-      <reifiableBy-001>
+      <reifierShape-001>
     ) ;
 .
-<reifiableBy-001>
+<reifierShape-001>
   rdf:type sht:Validate ;
-  rdfs:label "Test of sh:reifiableBy 001" ;
+  rdfs:label "Test of sh:reifierShape 001" ;
   mf:action [
       sht:dataGraph <> ;
       sht:shapesGraph <> ;
@@ -57,7 +57,7 @@ ex:ValidResource1
           rdf:type sh:ValidationResult ;
           sh:focusNode ex:InvalidResource1 ;
           sh:resultSeverity sh:Violation ;
-          sh:sourceConstraintComponent sh:ReifiableByConstraintComponent ;
+          sh:sourceConstraintComponent sh:ReifierShapeConstraintComponent ;
           sh:sourceShape ex:TestShape-propertyA ;
           sh:value "invalid" ;
         ] ;

shacl12-test-suite/tests/core/node/reifiableBy-002.ttl renamed to shacl12-test-suite/tests/core/node/reifierShape-002.ttl

@@ -1,5 +1,5 @@
 @prefix dash: <http://datashapes.org/dash#> .
-@prefix ex: <http://datashapes.org/sh/tests/core/node/reifiableBy-002.test#> .
+@prefix ex: <http://datashapes.org/sh/tests/core/node/reifierShape-002.test#> .
 @prefix mf: <http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#> .
 @prefix owl: <http://www.w3.org/2002/07/owl#> .
 @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@@ -27,7 +27,7 @@ ex:TestShape
 .
 ex:TestShape-propertyA
   sh:path ex:propertyA ;
-  sh:reifiableBy ex:ReifyShape ;
+  sh:reifierShape ex:ReifyShape ;
   sh:reificationRequired true ;
 .
 ex:ValidResource1
@@ -38,12 +38,12 @@ ex:ValidResource1
 <>
   rdf:type mf:Manifest ;
   mf:entries (
-      <reifiableBy-002>
+      <reifierShape-002>
     ) ;
 .
-<reifiableBy-002>
+<reifierShape-002>
   rdf:type sht:Validate ;
-  rdfs:label "Test of sh:reifiableBy 002 with sh:reificationRequired" ;
+  rdfs:label "Test of sh:reifierShape 002 with sh:reificationRequired" ;
   mf:action [
       sht:dataGraph <> ;
       sht:shapesGraph <> ;
@@ -55,7 +55,7 @@ ex:ValidResource1
           rdf:type sh:ValidationResult ;
           sh:focusNode ex:InvalidResource1 ;
           sh:resultSeverity sh:Violation ;
-          sh:sourceConstraintComponent sh:ReifiableByConstraintComponent ;
+          sh:sourceConstraintComponent sh:ReifierShapeConstraintComponent ;
           sh:sourceShape ex:TestShape-propertyA ;
           sh:value "invalid" ;
         ] ;

shacl12-vocabularies/shacl.ttl

@@ -1120,26 +1120,26 @@ sh:qualifiedValueShapesDisjoint
 	rdfs:isDefinedBy sh: .
 
 
-sh:ReifiableByConstraintComponent
+sh:ReifierShapeConstraintComponent
 	a sh:ConstraintComponent ;
-	rdfs:label "ReifiableBy constraint component"@en ;
-	rdfs:comment "A constraint component that can be used to verify that reified triples conform to a given shape."@en ;
-	sh:parameter sh:ReifiableByConstraintComponent-reifiableBy ;
-	sh:parameter sh:ReifiableByConstraintComponent-reificationRequired ;
+	rdfs:label "ReifierShape constraint component"@en ;
+	rdfs:comment "A constraint component that can be used to verify that the reifier conforms to a given shape."@en ;
+	sh:parameter sh:ReifierShapeConstraintComponent-reifierShape ;
+	sh:parameter sh:ReifierShapeConstraintComponent-reificationRequired ;
 	rdfs:isDefinedBy sh: .
 
-sh:ReifiableByConstraintComponent-reifiableBy
+sh:ReifierShapeConstraintComponent-reifierShape
 	a sh:Parameter ;
-	sh:path sh:reifiableBy ;
+	sh:path sh:reifierShape ;
 	rdfs:isDefinedBy sh: .
 
-sh:ReifiableByConstraintComponent-reificationRequired
+sh:ReifierShapeConstraintComponent-reificationRequired
 	a sh:Parameter ;
 	sh:path sh:reificationRequired ;
 	sh:datatype xsd:boolean ;
 	rdfs:isDefinedBy sh: .
 
-sh:reifiableBy
+sh:reifierShape
 	a rdf:Property ;
 	rdfs:label "reifiable by"@en ;
 	rdfs:comment "The shape that the reified triples must conform to."@en ;