Autor:
Becerra Terón, Antonio

Foto de perfil
E-mails conocidos
abecerra@ual.es
Fecha de nacimiento
Proyectos de investigación
Unidades organizativas
Puesto de trabajo
Apellidos
Becerra Terón
Nombre de pila
Antonio
Nombre
Nombres alternativos
Becerra-Teron, Antonio
Becerra-Terón, Antonio
Afiliaciones conocidas
 Dept. of Informatics. University of Almería, Spain
University of Almeria, Spain
Universidad de Almeria, Spain
Universidad de Almería
Dpto. de Informatica. Universidad de Almería. 04120-Almería. SPAIN.
Páginas web conocidas
http://www.ual.es/~abecerra
Página completa del ítem
Notificar un error en este autor

Filtros

2019 - 201912020 - 20211
Restablecer filtros

Ajustes

Tema: Debugging ×

Resultados de la búsqueda

Mostrando 1 - 2 de 2
  • Miniatura
    Artículo
    Ontology and Constraint Reasoning Based Analysis of SPARQL Queries
    Almendros-Jiménez, Jesus M.; Becerra Terón, Antonio. Actas de las XIX Jornadas de Programación y Lenguajes (PROLE 2019), 2019-09-02.
    The discovery and diagnosis of wrong queries in database query languages have gained more attention in recent years. While for imperative languages well-known and mature debugging tools exist, the case of database query languages has traditionally attracted less attention. SPARQL is a database query language proposed for the retrieval of information in Semantic Web resources. RDF and OWL are standardized formats for representing Semantic Web information, and SPARQL acts on RDF/OWL resources allowing to retrieve answers of user’s queries. In spite of the SPARQL apparent simplicity, the number of mistakes a user can make in queries can be high and their detection, localization, and correction can be difficult to carry out. Wrong queries have as consequence most of the times empty answers, but also wrong and missing (expected but not found) answers. In this paper we present two ontology and constraint reasoning based methods for the discovery and diagnosis of wrong queries in SPARQL. The first method is used for detecting wrongly typed and inconsistent queries. The second method is used for detecting mismatching between user intention and queries, reporting incomplete, faulty queries as well as counterexamples. We formally define the above concepts and a batch of examples to illustrate the methods is shown.
  • Miniatura
    Artículo
    Declarative Debugging of SPARQL Queries
    Almendros-Jiménez, Jesus M.; Becerra Terón, Antonio. Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021), 2021-09-22.
    The debugging of database queries is a research topic of increasing interest in recent years. The Semantic Web query language SPARQL should be equipped with a debugger for helping users to detect bugs which usually cause empty results as well as wrong and missing answers. Declarative debugging is a well-known debugging method successfully used in other database query languages. In this paper we present a declarative debugger for SPARQL. The debugging is based on the building of a debugging tree, and the detection of buggy and failure nodes in the debugging tree causing empty results as well as wrong and missing answers. The debugger has been implemented and it is available as Web tool.