OWL2 RL通过RETE算法

Question

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

感谢。

Answer 1

我开发了这个解决方案。

1. 在推理之前构造内存中的列表。很简单， 因为可以很容易地识别元素。
2. 为前m个规则构建RETE节点，这些规则不需要“循环”构造

3. 在最后一个节点中执行操作：

   1. 为相应的列表添加新的Rete（alpha + beta）节点（您将始终知道哪个，因为它是“静态”规则之一）
   2. 将相应的WME放入新创建的alpha存储器
   3. 激活Beta节点

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