Mapping SPARQL Query to temporal logic query based on NμSMV Model Checker to Query Semantic Graphs

Abstract : The RDF (W3C standard for metamodeling) language is the most frequently used to represent the semantic graphs. This paper presents a new research combining different fields that are: the semantic web and the model checking. We developed a tool, RDF2NμSMV, which converts RDF graphs into NμSMV language. This conversion aims checking the semantic graphs that have numerous errors of interpretation with the model checker NμSMV in order to verify the consistency of the data. The SPARQL query language is the standard for querying the semantic graph but have a lot of limitations. To this purpose, we define a translation from the SPARQL query language into the temporal logic query language. This language is a graph manipulation language implemented in our toolbox. This translation makes it possible to extend the expressive power of SPARQL naturally by adding temporal logic formulas characterizing sequences, trees, or general sub-graphs of the RDF graph. Our approach exhibits a performance comparable to dedicated SPARQL query evaluation engines, as illustrated by experiments on large RDF graphs. We developed the STL Resolver tool to resolve the temporal logic query. This tool is based on the model checker NμSMV algorithms.
Type de document :
Article dans une revue
International Journal of Digital Information and Wireless Communications (IJDIWC), SDIWC, 2012, 1 (2), pp.366-380
Domaine :
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal-univ-bourgogne.archives-ouvertes.fr/hal-00639255
Contributeur : Sylvain Rampacek <>
Soumis le : mardi 8 novembre 2011 - 15:45:59
Dernière modification le : mardi 8 novembre 2011 - 16:46:47
Document(s) archivé(s) le : jeudi 9 février 2012 - 02:42:38

Fichier

IJNCAA2_Gueffaz-Rampacek-Nicol...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00639255, version 1

Collections

Citation

Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle. Mapping SPARQL Query to temporal logic query based on NμSMV Model Checker to Query Semantic Graphs. International Journal of Digital Information and Wireless Communications (IJDIWC), SDIWC, 2012, 1 (2), pp.366-380. 〈hal-00639255〉

Partager

Métriques

Consultations de
la notice

528

Téléchargements du document

174