Skip to content

Small SHACL fixes; test RECOMMENDED checks on valid crates #58

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
elichad merged 7 commits into from
Jan 15, 2026
Merged

Small SHACL fixes; test RECOMMENDED checks on valid crates #58

Show file tree
Hide file tree
Changes from 2 commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
a46198a
tweaks to root data entity targeting
elichad Jan 5, 2026
f520d72
simplify & correct sparql check for validation phase object
elichad Jan 5, 2026
a0e72ad
allow do_entity_test to accept arbitrary settings
elichad Jan 5, 2026
e85ea5f
test RECOMMENDED checks pass for valid crates
elichad Jan 5, 2026
0501f2c
add explanation for use of SKIP_WEB_RESOURCE_AVAILABILITY_IDENTIFIER
elichad Jan 5, 2026
4002777
Merge branch 'develop' into tiny-tweaks
elichad Jan 8, 2026
617ad09
Merge branch 'develop' into tiny-tweaks
elichad Jan 8, 2026
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
2 changes: 1 addition & 1 deletion rocrate_validator/profiles/five-safes-crate/should/12_check_phase.ttl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -70,7 +70,7 @@ five-safes-crate:CheckValueObjectShouldPointToRootDataEntity
sh:name "object" ;
sh:path schema:object ;
sh:minCount 1 ;
sh:hasValue ro-crate:RootDataEntity ;
Copy link
Author

@elichad elichad Jan 5, 2026 •
edited
Loading

Choose a reason for hiding this comment

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

This snuck through the tests as it only fails the valid crate at RECOMMENDED level - which we don't test for (same for the Validation Phase check below). It turns out to be hard to test - see crs4#135, I'm trying to put together another PR to get those tests in never mind, it's included here now

sh:class ro-crate:RootDataEntity ;
sh:severity sh:Warning ;
sh:message "`CheckValue` --> `object` SHOULD point to the root of the RO-Crate" ;
] .
Expand Down
18 changes: 5 additions & 13 deletions rocrate_validator/profiles/five-safes-crate/should/13_validation_phase.ttl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -65,24 +65,16 @@ five-safes-crate:ValidationCheckObjectShouldPointToRootDataEntity
""" ;
] ;

sh:sparql [
a sh:SPARQLConstraint ;
sh:property [
a sh:PropertyShape ;
sh:name "object" ;
sh:select """
PREFIX schema: <http://schema.org/>
PREFIX rocrate: <https://github.com/crs4/rocrate-validator/profiles/ro-crate/>
SELECT $this
WHERE {
FILTER NOT EXISTS {
$this schema:object rocrate:RootDataEntity .
}
}
""" ;
sh:path schema:object ;
sh:minCount 1 ;
sh:class ro-crate:RootDataEntity ;
sh:severity sh:Warning ;
sh:message "`ValidationCheck` --> `object` SHOULD point to the root of the RO-Crate" ;
] .


five-safes-crate:ValidationCheckInstrumentShouldPointToEntityWithSpecificId
a sh:NodeShape ;
sh:name "ValidationCheck" ;
Expand Down
2 changes: 1 addition & 1 deletion rocrate_validator/profiles/five-safes-crate/should/4_sign_off.ttl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@
# There SHOULD be a Sign-Off Phase
five-safes-crate:SignOffPhase
a sh:NodeShape ;
sh:targetNode <./> ;
Copy link
Author

@elichad elichad Jan 5, 2026

Choose a reason for hiding this comment

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

This is just a style change really as in 5SROC the RDE should always be <./> - but the change makes it a bit more robust and aligned with the rest of our checks

sh:targetClass ro-crate:RootDataEntity ;
sh:description "Check the Sign-Off Phase" ;
sh:sparql [
sh:select """
Expand Down