Mapping SPARQL Query to Temporal Logic Query Based on N?SMV Model Checker to Query Semantic Graphs
The RDF (W3C standard for meta-modeling) language is the most frequently used to represent the semantic graphs. This conversion aims checking the semantic graphs that have numerous errors of interpretation with the model checker NSMV 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, the authors define a translation from the SPARQL query language into the temporal logic query language. This language is a graph manipulation language implemented in their toolbox.