Cet article présente la machine abstraite de graphes de connaissance KGRAM qui unifie les notions d'homomorphisme de graphe et de calcul de re-quê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.