OWL2 RL via l'algorithme RETE

Question

J'essaie actuellement d'implémenter OWL2 RL via l'algorithme Rete. J'ai rencontré le problème suivant: Comment implémenter les listes nécessaires par exemple dans cette règle: eq-diff2 (W3C reccomendation)?

Merci.

Answer 1

J'ai développé cette solution.

1. Avant l'inférence, construisez les listes en mémoire. C'est simple, parce que les éléments peuvent être facilement identifiés.
2. Construct nœuds rete pour les premières règles m, qui ne ont pas besoin "boucle" construire

3. Mettez une action dans le dernier noeud:

   4. Ajouter un Rete (alpha + beta) noeuds pour la liste correspondante (vous saurez toujours qui, parce qu'il est l'une des règles « statiques »)
   5. Mettre WMEs correspondant dans nouvellement créés mémoires alpha
   6. Activer noeuds bêta

4. Il est probablement possible de supprimer toute la branche "dynamique" après l'exécution de l'action finale.