TopQuadrant Shacl 规则引擎迭代推理

如何解决TopQuadrant Shacl 规则引擎迭代推理

Shacl API 规则引擎是否像 TopBraid Composer 一样支持 sh:order 规则执行。

我在 TBC 中测试了规则排序，它会反复进行，直到达到固定点。没有更多的规则要执行。我怀疑它被认为是单次传递，但规则被优先考虑，并且它们的结果可用于在同一传递中执行的下一条规则。

不管怎样，不管它是如何实现的，我想知道它是 shacl 规则引擎的一个特性还是一个特定于 TopBraid composer 的实现。

以下线程暗示了我正在寻找但未达到的答案。

How to input inferred triples to (other) SHACL rules?

解决方法

当前的 SHACL API 没有进行开箱即用的迭代。 RuleEngine 对所有规则进行一次迭代，这些规则可以按照

处的大纲访问彼此的结果

https://w3c.github.io/shacl/shacl-af/#rules-execution

要进行迭代循环，只需调用 RuleEngine.executeAll 直到一轮没有创建任何新推理。需要注意避免无限循环，因为某些规则理论上可能会产生空白节点、随机值等。TopBraid Composer 会自动执行此循环。