Résumé
Cet article présente les premières étapes de conception d'un moteur d'inférence pour un outil industriel de gestion des connaissances. Le logiciel existant permet la construction et l'exploitation de bases de connaissances comportant un méta-modèle, des ontologies et des instances en s'appuyant sur le langage des Topic Maps. Les Topic Maps ne disposant pas de sémantique formelle mais reposant sur un modèle de graphes étiquetés, nous proposons de nous appuyer sur le formalisme des graphes conceptuels pour la mise en oeuvre de raisonnement sur ces bases. Nous présentons une transformation réversible des Topic Maps vers les graphes conceptuels qui nous permet à la fois de doter le langage des Topic Maps d'une sémantique formelle, d'exploiter les mécanismes de raisonnement des graphes conceptuels et de réutiliser l'API CoGITaNT pour l'implémentation des mécanismes d'inférences.