基于RETE算法的OWL2 RL

Question

我目前正在尝试通过Rete算法实现OWL2 RL。我遇到了以下问题:如何实现所需的列表，例如在此规则中: eq-diff2 (W3C reccomendation)？

谢谢。

Answer 1

我已经开发了这个解决方案。

推理前的

1. 在内存中构造列表。它很简单，因为元素很容易识别。
2. 为前m个规则构造RETE节点，不需要“循环”构造
3. 在最后一个节点中放置一个操作：

1. Add new Rete (alpha+beta) nodes for the corresponding list (you will always know which, because it's one of the "static" rules)
2. Put corresponding WMEs into newly created alpha memories
3. Activate Beta nodes

​

1. 在执行最后一个操作后，可能会删除整个“动态”分支。