README.md

projet-LRC-tableau-ALC

Ecriture en Prolog d’un démonstrateur basé sur l’algorithme des tableaux pour la logique de description ALC dans le cadre de l'UE de LRC.

Utilisation

Executer le fichier run.pl lancera le programme et l'interpreteur. Le prédicat programme est définit dans load.pl.

Prédicats à réaliser

I. Etape préliminaire de vérification et de mise en forme de la Tbox et de la Abox

• autoref
• concept
• traitement_Tbox
• traitement_Abox

II. Saisie de la proposition à démontrer

• acquisition_prop_type1
• acquisition_prop_type2

III. Démonstration de la proposition

• tri_Abox
• resolution
• complete_some(Lie,Lpt,Li,Lu,Ls,Abr)
• transformation_and
• deduction_all
• transformation_or
• evolue
• affiche_evolution_Abox

TODO LIST

• écrire le rapport