Type Checking and Testing of SPARQL Queries (Trabajo en progreso)

Resumen:

In this paper we describe a property-based testing tool for SPARQL. The tool randomly generates test cases in the form of instances of an ontology. The tool checks the well typed-ness of the SPARQL query as well as the consistency of the test cases with the ontology axioms. With this aim, a type system has been defined for SPARQL. Test cases are after used to execute queries. The output of the queries are tested with a Boolean property which is defined in terms of membership of ontology individuals to classes. The testing tool reports counterexamples when the Boolean property is not satisfied.

Palabras Clave:

Semantic Web - SPARQL - Testing - Type Systems

Autor(es):

• Jesús M. Almendros-Jiménez {jalmen@ual.es}
  Universidad de Almería
  
• Antonio Becerra-Terón {abecerra@ual.es }
  Universidad de Almería
  

Handle:

Descargas:

Este artículo tiene una licencia de uso CreativeCommons Reconocimiento (by)

Descarga el artículo haciendo click aquí.

Ver la referencia en formato Bibtex