我目前正在尝试通过Rete算法实现OWL2 RL。我遇到了以下问题：如何实现此规则中所需的列表，例如eq-diff2（W3C reccomendation）？
谢谢。
最佳答案
我已经开发了这个解决方案。
在推断之前，先在内存中构造列表。很简单，
因为这些元素很容易识别。
为前m条规则构造RETE节点，不需要“循环”构造
在最后一个节点上放置一个动作：
为相应的列表添加新的Rete（alpha + beta）节点（您将始终知道哪个节点，因为它是“静态”规则之一）
将相应的WME放入新创建的Alpha存储器中
激活Beta节点
在执行最终操作后，可能有可能删除整个“动态”分支。