Navegación

Búsqueda

Búsqueda avanzada

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):

Handle:

11705/PROLE/2017/002

Descargas:

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

Descarga el artículo haciendo click aquí.