Etude d'un gestionnaire d'ensembles de graphes conceptuels

Depuis sa presentation par j. F. Sowa en 1984, le modele des graphes conceptuels n'a cesse d'interesser un nombre croissant d'equipes de recherche, qui l'etudient formellement ou qui l'utilisent dans des cadres divers, comme les sciences medicales, les bases de donnees ou le traitement automatique de langue naturelle. Cependant, comme tout modele de representation de connaissances, il est confronte a la gestion de la connaissance des que celle-ci devient importante. Dans cette optique, le travail presente porte essentiellement sur les problemes theoriques lies a la gestion de grands ensembles de graphes conceptuels quelconques. Les graphes conceptuels etant munis d'une relation d'ordre (la relation de specialisation) calculee par l'operation de projection (operation liee au probleme np-complet de l'existence d'un morphisme entre deux graphes), les techniques de gestion etudiees s'inscrivent dans le cadre general de la gestion d'ensembles ordonnes, et s'appuient sur des algorithmes efficaces de projection et d'isomorphisme de graphes conceptuels. Nous mettons en uvre ces techniques dans l'elaboration d'un premier gestionnaire de bases de graphes conceptuels stockees en memoire secondaire, totalement integre a la plate-forme logicielle cogito (une boite a outils pour les graphes conceptuels). Dans un deuxieme temps, nous presentons le systeme rap: un systeme d'interrogation de connaissances exprimees en termes de graphes conceptuels, fonde sur les fonctionnalites offertes par le gestionnaire precedent