Plan de travail prévisionnel

Mai à Juillet 98

• Préparation de publications
• Correction du programme FaCT sur CLAIRE.
• Recherche bibliographique sur l'ajout d'une Abox dans les logiques de description ne contenant que les mécanismes d'inférence sur la Tbox.
• Rencontre(s) avec les concepteurs (Y.Caseau - F.Laburthe) de CLAIRE pour discuter de la possibilité d'ajout (ou d'intégration) d'un MOP (MetaObject Protocol) au dessus du langage CLAIRE.

Août 98 - Septembre 98

• Ajout d'une Abox à la logique de description FaCT implémenté sur CLAIRE.
• Approfondissement bibliographique sur l'ajout d'un MOP à un langage à objets.

Octobre 98 - Janvier 99

• Implémentation d'un MOP au dessus du langage CLAIRE
• Publication des résultats obtenus.

Février à Mars 99

• Intégration d'un logique terminologique directement dans le MOP de CLAIRE, et intégration des différents mécanismes d'inférence)
• Publication des résultats obtenus.

Mars à Septembre 99

• Rédaction de la thèse.

Début Novembre 99

• Soutenance.