> On 26 May 2023, at 3:12 pm, Steve Ray <[email protected]> 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 > > Steve > > > > > On Fri, May 26, 2023 at 10:06 AM Holger Knublauch <[email protected] > <mailto:[email protected]>> wrote: >> >> >>> On 26 May 2023, at 2:59 pm, Steve Ray <[email protected] >>> <mailto:[email protected]>> wrote: >>> >>> 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. >> >> 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 [email protected] >>> <mailto:[email protected]> >>> --- >>> 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] >>> <mailto:[email protected]>. >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/topbraid-users/CAGUep85C7L4LxQnTp9h%3D6rS3SWUVxQC4yNnKxUx9%3D25cBomjjQ%40mail.gmail.com >>> >>> <https://groups.google.com/d/msgid/topbraid-users/CAGUep85C7L4LxQnTp9h%3D6rS3SWUVxQC4yNnKxUx9%3D25cBomjjQ%40mail.gmail.com?utm_medium=email&utm_source=footer>. >> >> >> -- >> The topics of this mailing list include TopBraid EDG and related >> technologies such as SHACL. >> To post to this group, send email to [email protected] >> <mailto:[email protected]> >> --- >> 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] >> <mailto:[email protected]>. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/topbraid-users/F29B2186-E9BD-4A95-B6D5-9B1ADCCFC135%40topquadrant.com >> >> <https://groups.google.com/d/msgid/topbraid-users/F29B2186-E9BD-4A95-B6D5-9B1ADCCFC135%40topquadrant.com?utm_medium=email&utm_source=footer>. > > > -- > The topics of this mailing list include TopBraid EDG and related technologies > such as SHACL. > To post to this group, send email to [email protected] > --- > 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] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/topbraid-users/CAGUep87wxhSNH6g81TuMx8zvEjBX-GFcjX4VMVoRzFt92fH74w%40mail.gmail.com > > <https://groups.google.com/d/msgid/topbraid-users/CAGUep87wxhSNH6g81TuMx8zvEjBX-GFcjX4VMVoRzFt92fH74w%40mail.gmail.com?utm_medium=email&utm_source=footer>. -- The topics of this mailing list include TopBraid EDG and related technologies such as SHACL. To post to this group, send email to [email protected] --- 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/5F1EDF8B-7C82-4D54-B220-62A9384F6343%40topquadrant.com.
