La machine abstraite KGRAM et son langage GRAAL pour l'interrogation de graphes de connaissances

Résumé : Dans cet article nous présentons la machine abstraite KGRAM et son langage GRAAL pour l'interrogation de graphes de connaissances. KGRAM et GRAAL sont le résultat d'un travail d'abstraction que nous avons mené afin de proposer une solution générique au problème de l'interrogation de graphes de connaissances de différents modèles. Ce faisant, nous avons identifié des primitives abstraites de haut niveau permettant de répondre à ce problème; elles constituent les expressions du langage GRAAL et les interfaces que manipule KGRAM pour ses structures de données et ses opérations de graphes. Nous décrivons la syntaxe abstraite de GRAAL et sa sémantique opérationnelle en Sémantique Naturelle et nous définissons KGRAM comme l'interprète de GRAAL, c'est-à-dire l'implémentation des règles de sémantique naturelle de GRAAL.
Type de document :
Communication dans un congrès
Langages et modèles à objets, Mar 2010, Pau, France. 2010


https://hal.inria.fr/inria-00467984
Contributeur : Olivier Corby <>
Soumis le : lundi 29 mars 2010 - 17:07:29
Dernière modification le : jeudi 26 juillet 2012 - 11:09:47
Document(s) archivé(s) le : mercredi 30 juin 2010 - 20:32:21

Fichier

kgram-lmo.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00467984, version 1

Collections

Citation

Olivier Corby, Catherine Faron-Zucker. La machine abstraite KGRAM et son langage GRAAL pour l'interrogation de graphes de connaissances. Langages et modèles à objets, Mar 2010, Pau, France. 2010. <inria-00467984>

Partager

Métriques

Consultations de
la notice

323

Téléchargements du document

173