[Roadmap] Phase 4 — Moteur de Règles & Raisonnement (5.0.0-alpha.4)

[remiceres]

Summary

Phase 4 de la feuille de route Corese v5 : Réintégration moderne du moteur d'inférence sémantique (RDFS, OWL 2 RL, règles CONSTRUCT personnalisées) et articulation avec la validation SHACL.

Objectives

• Portage du moteur de règles historique : intégrer le Rule Engine de manière modulaire dans l'architecture corese-next.
• Règles RDFS et OWL 2 RL : saturation garantie en chaînage avant pour le profil OWL 2 RL et RDFS.
• Règles personnalisées (CONSTRUCT) : support des règles custom avec limites d'itérations, détection de non-terminaison et gestion des blank nodes pour éviter les boucles infinies.
• Gestion des données inférées : séparation propre en mémoire des triplets assertés et des triplets déduits.
• Combinaison Règles + SHACL : définir et tester la politique d'enchaînement (validation sur données brutes ou données enrichies par inférence).
• Intégration Règles dans les interfaces : support de l'inférence dans corese-server et commande infer dans corese-command.

Target Deliverable

Publication de Corese 5.0.0-alpha.4 (moteur de raisonnement sémantique opérationnel et interaction avec SHACL).