Iterative SHACL reasoning

[Steve Ray]

I note that in the SHACL AF spec (2021) it states, with regard to the use of sh:order:

Note that this algorithm only covers a single "iteration" over all rules, without prescribing the behavior if the same rule needs to be applied multiple times after other rules have fired.

My question is, how does TBC handle rule order during iterative reasoning? Let's suppose I have a set of rules I want to run iteratively to completion, and after that, run a second set of rules iteratively to completion. Back in the SPIN days, I defined "waves" to accomplish this. 

Any advice?

Steve

[Holger Knublauch]

The official spec didn't want to go into these details, but the TopBraid iteration will also loop until a fixpoint was reached. Rule order is then used in each round.

In TopBraid EDG, the Inferences panel has a setting to enable this iterative process.

Holger

Any advice?

Steve

--
The topics of this mailing list include TopBraid EDG and related technologies such as SHACL.
To post to this group, send email to topbrai...@googlegroups.com
---
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 topbraid-user...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/CAGUep85C7L4LxQnTp9h%3D6rS3SWUVxQC4yNnKxUx9%3D25cBomjjQ%40mail.gmail.com.

[Steve Ray]

Thanks for the fast response. My question, though, is the following:

Given rules with sh:order of 1,2,3, in an iterative environment, do I get:

(Next iteration marked with /)

1, / 1, / 1, 2, / 1, / 1, 2, 3 / ...

or

1, 2, 3, / 1, 2, 3, / 1, 2, 3...

Steve

To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/F29B2186-E9BD-4A95-B6D5-9B1ADCCFC135%40topquadrant.com.

[Holger Knublauch]

On 26 May 2023, at 3:12 pm, Steve Ray <st...@steveray.com> wrote:

Thanks for the fast response. My question, though, is the following:

Given rules with sh:order of 1,2,3, in an iterative environment, do I get:

(Next iteration marked with /)

1, / 1, / 1, 2, / 1, / 1, 2, 3 / ...

or

1, 2, 3, / 1, 2, 3, / 1, 2, 3...

The latter

Holger

To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/CAGUep87wxhSNH6g81TuMx8zvEjBX-GFcjX4VMVoRzFt92fH74w%40mail.gmail.com.