通過RETE算法的OWL2 RL

Question

我目前正試圖通過Rete算法實現OWL2 RL。我遇到了以下問題：如何實現此規則所需的列表：eq-diff2（W3C reccomendation）？

謝謝。

Answer 1

我開發了這個解決方案。

1. 推理之前在內存中構造列表。很簡單， 因爲元素可以很容易識別。
2. 對於前m規則構建RETE節點，它們不需要 「循環」 構造

3. 把一個動作的最後一個節點：

4. 添加新的Rete（阿爾法+爲相應的列表測試）的節點（你永遠知道，因爲它是「靜態」的規則之一）
5. 戴上相應WMEs到新創建的阿爾法回憶
6. 激活測試版節點

執行最終操作後，可能會刪除整個「動態」分支。