Validation de graphes conceptuels.

Les travaux menes en validation des connaissances visent a ameliorer la qualite des bases de connaissances. Le modele des graphes conceptuels est un modele de representation des connaissances de la famille des reseaux semantiques, fonde sur la theorie des graphes et sur la logique du premier ordre. Nous proposons une solution pour valider semantiquement une base de connaissances composee de graphes conceptuels. La validation semantique d'une base de connaissance consiste a confronter ses connaissances a des contraintes certifiees fiables. Nous proposons d'utiliser des contraintes descriptives, exprimees sous forme de graphes conceptuels, qui permettent de poser des conditions sur la representation de certaines connaissance dans la base. Ces contraintes introduisent une notion de cardinalites, et sont soit minimales, soit maximales. Elles permettent respectivement d'exprimer "si A, alors au moins ou au plus n fois B". La satisfaction de ces contraintes par une base de connaissances repose sur l'utilisation de l'operation de base du modele des graphes conceptuels : la projection.