UML est le langage graphique de référence dans l'industrie pour la modélisation objet. Cependant UML reste un langage, et ne fournit aucun moyen de vérification ou d'interrogation de ses schémas. Il existe aujourd'hui des outils de vérification, mais ils se comportent comme des boîtes noires où l'utilisateur ne peut accéder. Nous proposons une méthode graphique de vérification et d'interrogation de diagrammes de classes UML. L'aspect intuitif et dessinable de notre méthode offre à l'utilisateur la possibilité d'interroger le contenu de diagrammes de classes, ainsi que de définir et d'adapter ses propres critères de vérification. Le modèle calculatoire de notre approche est celui des graphes conceptuels