Cet article présente la machine abstraite de graphes de connaissance KGRAM qui unifie les notions d'homomorphisme de graphe et de calcul de requêtes telles que celles du langage SPARQL sur des données RDF. KGRAM implémente un ensemble extensible d'expressions qui définissent une famille de langages abstraits d'interrogation de graphes, GRAAL. Nous décrivons la sémantique dynamique de GRAAL en Sémantique Naturelle et nous présentons la machine abstraite KGRAM conçue comme l'interprète de GRAAL, qui implémente les règles de sémantique naturelle du langage.