Artículo: Type Checking and Testing of SPARQL Queries
Fecha
2017-07-19
Editor
Sistedes
Publicado en
Actas de las XVII Jornadas de Programación y Lenguajes (PROLE 2017)
Licencia
CC BY 4.0
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.
Descripción
Acerca de Almendros-Jiménez, Jesus M.
Palabras clave
Semantic Web, SPARQL, Testing, Type Systems
Enlace permanente
Colecciones
Página completa del ítem
Notificar un error en este artículo