Des outils pour la vérification des Graphes Sémantiques

Résumé : Le langage le plus utilisée pour représenter les graphes sémantiques est RDF (standard du W3C). Les graphes RDF sont généralement stockés dans une base de données relationnelle et manipulés en utilisant le langage SQL ou les langages dérivées comme SPARQL. Malheureusement, cette solution, bien adapté pour les petits graphes RDF n'est pas bien adaptée pour les grands graphes RDF. Pour ces grands graphes RDF, nous proposons une nouvelle approche en utilisant la vérification formelle. Pendant nos recherches, on a développé deux outils RDF2SPIN et RDF2NuSMV qui permettent de convertir les graphes RDF vers un modèle et les vérifier avec l'outil SPIN et l'outil NuSMV respectivement (deux model-checker très puissant) afin de vérifier la cohérence des données décrit dans les grands graphes RDF. Pour illustrer notre proposition, nous avons utilisé des graphiques RDF provenant de fichiers représentent le modèle numérique 3D de bâtiment. Notre objectif final est de vérifier la cohérence de ces fichiers qui sont faites à partir d'une coopération des sources d'information hétérogènes (plombiers, architectes, électriciens ....).
Type de document :
Communication dans un congrès
JMFB (la Jeunesse Musulmane de France en Bourgogne), Jun 2010, Dijon, France. pp.24, 2011
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00620997
Contributeur : Mahdi Gueffaz <>
Soumis le : vendredi 9 septembre 2011 - 11:15:30
Dernière modification le : vendredi 9 septembre 2011 - 11:17:08
Document(s) archivé(s) le : samedi 10 décembre 2011 - 02:21:43

Fichier

Gueffaz_informatique.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00620997, version 1

Collections

Citation

Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle. Des outils pour la vérification des Graphes Sémantiques. JMFB (la Jeunesse Musulmane de France en Bourgogne), Jun 2010, Dijon, France. pp.24, 2011. <hal-00620997>

Partager

Métriques

Consultations de
la notice

206

Téléchargements du document

337