通过 RETE 算法的 OWL2 RL

Question

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

谢谢。

Answer 1

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

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

   在最后一个节点中放置一个操作：

4. 为相应列表添加新的 Rete (alpha+beta) 节点（您将始终知道是哪个，因为它是“静态”规则之一）
5. 将相应的 WME 放入新创建的 alpha 内存中
6. 激活 Beta 节点

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