search

w3c / shacl

SHACL Community Group (Post-REC activitities)
27 stars 4 forks source link

How to decide whether a given graph is a (valid) shapes graph #9

Closed stigbd closed 4 months ago

stigbd commented 3 years ago

We are currently implementing a SHACL based validator where the user may supply his own shapes graph. Before doing the actual validation, our service tries first to validate if the given shapes graph in fact is a shapes graph, and next whether it is a valid one.

The last part of the problem is relatively straightforward, as we are planning to run a set of "meta shacl" shapes on the given shapes graph itself.

Our problem starts when this "meta-validation" process says no violations when the supplied graph in fact does not contain any shacl shapes.

Given the definition of a shapes graphs as

A shapes graph is an RDF graph containing zero or more shapes that is passed into a SHACL validation process so that a data graph can be validated against the shapes. (from https://www.w3.org/TR/shacl/#shapes-graph)

it is not obvious to us how we should decide whether something is a shapes graph, since a graph containing 0 shapes also is a shapes graph according to the above definition.

We would greatly appreciate advice on how we should approach this.

HolgerKnublauch commented 4 months ago

In preparation for a potential future SHACL WG I would like to close GitHub issues that were mainly just questions.

Sorry this one here didn't get responses but I guess after 3 years the question is probably outdated. The Discord server or mailing list are arguably better ways to ask such questions.