One option would be to have a SHACL engine that captures provenance of shape validation - it means lots of extra triples of course, but you could then run such a query without doing something to force revaluation of al SHACL rules. Maybe an extension to SHACL to nominate an optional provenance graph to record rule execution.
On Tue, 8 Oct 2019 at 06:00, JD <[email protected]> wrote: > My reading of that constraint is that it only closes a shape. Meaning, > that a given focus node can not have properties that are not specified in a > shape. But I think the node has to become a focus node first. > > Becoming a focus node seems to happen when a node becomes a target of a > target declaration or "whenever a focus node is provided directly as input > to the validation process for that shape". I haven't figured out how to > target "anything not in another shape". Nor have I identified how to make > use of that quoted text. > > Note: I am still learning the SHACL spec so my use of terms/ideas might be > incorrect. > > On Monday, October 7, 2019 at 11:39:08 AM UTC-6, Steven Michael Folsom > wrote: >> >> I believe that is what >> https://www.w3.org/TR/shacl/#ClosedConstraintComponent is meant to >> address. >> >> >> > -- > You received this message because you are subscribed to the Google Groups > "TopBraid Suite Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/topbraid-users/9732c811-3df0-4153-b067-7691083aef5b%40googlegroups.com > <https://groups.google.com/d/msgid/topbraid-users/9732c811-3df0-4153-b067-7691083aef5b%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "TopBraid Suite Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/CACfF9LyO7B-8HvKzp%3DJ8bbzTddtZYdoj3UjGeypZrdY8GagWeg%40mail.gmail.com.
