Skip to content

#300: Added support for RDF 1.2 triple terms #368

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 8 commits into from
Jun 10, 2025
Merged

#300: Added support for RDF 1.2 triple terms #368

Changes from 1 commit
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
f8242fc
#300: Added support for RDF 1.2 triple terms
bergos Apr 21, 2025
7551c02
Update shacl12-test-suite/tests/core/node/reifiableBy-001.ttl
bergos Apr 22, 2025
de746c3
Limit path for reification to IRIs
bergos Apr 22, 2025
345eb4c
Improved reifiableBy definitions, moved sh:path constraint
bergos Apr 24, 2025
48bef5e
Apply suggestions from code review
bergos Apr 24, 2025
c598b86
Apply suggestions from code review
bergos Apr 28, 2025
3ced0c9
Renamed to sh:reifierShape
bergos May 12, 2025
2c0a282
fix: reifierShape: corrected label, improved definition, moved sh:pat…
bergos Jun 7, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 4 additions & 2 deletions shacl12-core/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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>
Expand Down Expand Up @@ -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>
Expand Down