OWL2 RL через алгоритм RETE - PullRequest
Новая
       15

OWL2 RL через алгоритм RETE

3 голосов
/ 11 августа 2011

В настоящее время я пытаюсь реализовать OWL2 RL с помощью алгоритма Rete. Я столкнулся со следующей проблемой: Как реализовать списки, необходимые, например, в этом правиле: eq-diff2 ( Рекомендация W3C )?

Спасибо.

1 Ответ

0 голосов
/ 30 августа 2011

Я разработал это решение.

  1. Перед выводом создайте списки в памяти.Это просто, потому что элементы могут быть легко идентифицированы.
  2. Создание узлов RETE для первых m правил, которым не требуется конструкция "loop"

  3. Поместить действие в последний узел:

  4. Добавить новые узлы Rete (альфа + бета) для соответствующего списка (вы всегда будете знать, какие именно, поскольку это одно из «статических» правил)
  5. Поместить соответствующие WME во вновь созданные альфа-памяти
  6. Активировать бета-узлы

Вероятно, можно удалить всю "динамическую" ветвь после выполнения последнего действия.

...