Skip to content

Conversation

HolgerKnublauch
Copy link
Contributor

Co-authored-by: Thomas Bergwinkl <bergos@users.noreply.github.com>
@TallTed TallTed changed the title Issue 172: Support for sh:closed sh:ByTypes Issue 172: Support for sh:closed sh:ByTypes Jun 11, 2025
Co-authored-by: Ted Thibodeau Jr <tthibodeau@openlinksw.com>
@HolgerKnublauch HolgerKnublauch requested a review from TallTed June 16, 2025 06:13
function collectProperties(S)
add all IRI properties that can be reached from S via the SPARQL path
sh:property/sh:path
if S is a SHACL instance of rdfs:Class in the shapes graph {
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is rdfs:Class correct to use here, in light of the lengthy discussion on #212 ?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think so, but what in particular are you concerned about?

Comment on lines 6153 to 6155
if S is a SHACL instance of sh:NodeShape in the shapes graph
for each triple in the shapes graph matching (S sh:node ?o)
collectProperties(?o)
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

sh:node can also go on a sh:PropertyShape. So should "if S is a SHACL instance of sh:NodeShape in the shapes graph" instead read "if S is a SHACL instance of sh:NodeShape or sh:PropertyShape in the shapes graph"?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

According to the syntax rules, the values of sh:node must be well-formed node shapes, not property shapes. If you want property shapes there, nest them inside a node shape via sh:property.

@HolgerKnublauch HolgerKnublauch requested a review from TallTed June 25, 2025 08:05
Copy link
Member

@TallTed TallTed left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@HolgerKnublauch HolgerKnublauch merged commit ab8abf1 into gh-pages Jun 26, 2025
1 check passed
@HolgerKnublauch HolgerKnublauch deleted the issue-172 branch June 26, 2025 11:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add something similar to dash:closedByTypes
5 participants