Limitation with chained inference in TopBraid

[Salva5297]

We are encountering an issue with TopBraid's inference engine when attempting to execute multi-step (chained) inferences. Currently, if a rule infers and creates a new node, any subsequent rules designed to add new relationships or properties to that specific inferred node fail to trigger.

This happens because TopBraid performs only a single iteration over the data. It does not re-evaluate the rules against the newly created triples. For example, if Rule A creates a new node, and Rule B is supposed to attach a newly inferred relationship to that new node, Rule B will never execute. This limitation breaks the inference chain and prevents us from applying dependent rules automatically without manual workarounds.

[HolgerKnublauch]

Yes but you can do an outside loop until no further triples are inferred.

[afs]

There's work in the SHACL 1.2 Working Group on a datalog-based rules solution for SHACL. It does infer until complete.