owl - OWL2 RL 通过 RETE 算法

Question

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

谢谢。

Answer 1

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

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

3. 在最后一个节点中放置一个动作：

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

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