SHACL for SHACL

Hi all,

we did have a quite successful CR transition meeting with the W3C 
management yesterday. I say "quite" because TimBL wanted us to do one 
last thing before moving to CR status:

We are supposed to create a SHACL shapes graph to validate other SHACL 
shapes graphs, essentially implementing the syntax rules for SHACL Core, 
up to what can be reasonably expressed with SHACL itself. We had talked 
about this topic several time and decided not to do that due to our very 
short time frame. But given that W3C management is OK with us spending 
this additional time even beyond the March 31 deadline, we now should do 
our best to fill this gap.

I have started such a file here:

https://github.com/w3c/data-shapes/blob/gh-pages/shacl/shacl-shacl.ttl

based on the syntax rules in Appendix B

     http://w3c.github.io/data-shapes/shacl/#syntax-rules

I need everyone's help to finish and check this. This is a great example 
of using SHACL itself, so a nice exercise for those who want to get 
their hands dirty.

- The file above is completely untested. We should have some counter 
examples with invalid shape definitions.
- The file has two notable TODO gaps: the shape for rdf:Lists and for 
SHACL paths.

While I may eventually get to this next week, in order to create the 
best possible quality for such a file in the shortest possible time 
frame, I hope others can volunteer to help.

Thanks
Holger

Received on Saturday, 1 April 2017 01:51:26 UTC