owl - RETEアルゴリズムによるOWL2 RL

Question

現在、Rete アルゴリズムを使用して OWL2 RL を実装しようとしています。次の問題に遭遇しました: たとえば、このルールで必要なリストを実装する方法: eq-diff2 ( W3C推奨)?

ありがとう。

Answer 1

私はこのソリューションを開発しました。

1. 推論の前に、メモリ内にリストを構築します。要素を簡単に識別できるため、単純です。
2. 「ループ」構造を必要としない、最初の m ルールの RETE ノードを構築します。

3. アクションを最後のノードに入れます。

   4. 対応するリストに新しい Rete (アルファ + ベータ) ノードを追加します (「静的」ルールの 1 つであるため、常にどれかがわかります)。
   5. 対応する WME を新しく作成されたアルファ メモリに入れる
   6. ベータ ノードを有効にする

4. 最終的なアクションが実行された後、「動的」ブランチ全体を削除することはおそらく可能です。