Thèse de Cheikh Hito Kacfah Emani


Sujet :
Formalisation sémantique et automatisation de règles et de services métier

Date de soutenance : 01/12/2016

Encadrant : Parisa Ghodous
Co-encadrant : Catarina Ferreira Da Silva

Résumé :

Une multitude de textes régit le domaine de la construction et ses divers aspects (planification, conception, réalisation, démolition, etc.). Dans un tel contexte, il est difficile pour les experts métiers de s'y retrouver. Par ailleurs ces textes ont plusieurs niveaux de rédaction (lois, décrets, arrêtés, etc.) et n'ont pas le même ``statut'' (obligations, recommandations, etc.). En outre, à la vue de ce qui précède on ne peut garantir la cohérence des exigences mentionnées dans ces textes. Les experts doivent, au quotidien, rapprocher la réglementation de divers éléments du domaine de la construction. Lesdits éléments pouvant être numérisés, il devient envisageable de dresser leur bilan de conformité au regard de la réglementation. Au cours de notre travail, nous examinons ces problèmes et envisageons des solutions pour aider les experts. Nous prévoyons donc d'automatiser la détection, l'extraction et l'annotation des règles métiers issues de textes réglementaires. Les règles ainsi obtenues seront formalisées sous formes de requêtes SPARQL. Les divers éléments à contrôler étant représentés à l'aide de triplets RDF, nous pourrions automatiquement identifier les points de non conformité qu'ils renferment. De plus, à partir de l'aspect formalisé des exigences réglementaires, nous pourrons exhiber un algorithme pour la détection d'incohérences. En outre, tous ces traitements devront être accessibles par le biais de services métiers.