Validation et réparation des graphes conceptuels

Le travail presente dans cette these s'inscrit dans le cadre general de la validation des connaissances. Nous donnons une solution pour valider et reparer des bases de connaissances construites sur le modele des graphes conceptuels, qui est un modele de representation des connaissances de la famille des reseaux semantiques. Notre approche est composee de deux phases. La premiere phase est syntaxique : elle permet de s'assurer que la base de connaissances est structurellement bien construite en fonction des definitions du modele des graphes conceptuels. Lorsque la base de connaissances n'est pas syntaxiquement valide, une reparation syntaxique est proposee pour aider le concepteur a corriger chaque erreur de la base de connaissances. La deuxieme phase est semantique : elle permet de confronter la base de connaissances a des contraintes exprimees sous la forme de graphes conceptuels et certifiees fiables. Nous proposons deux categories de contraintes ; des contraintes negatives qui permettent de representer de la connaissance qui ne doit pas se trouver dans la base de connaissances, et, inversement, des contraintes positives qui permettent de representer de la connaissance qui doit se trouver dans la base de connaissances. La phase de validation et de reparation semantiques a lieu en deux etapes. Tout d'abord, nous proposons une validation semantique relativement a des contraintes negatives. La reparation semantique associee permet au concepteur de choisir entre plusieurs changements a effectuer sur la base de connaissances pour la reparer. Ensuite, nous proposons une validation semantique relativement a des contraintes positives. La reparation semantique associee aide le concepteur a corriger chaque erreur de la base de connaissances.