METAMORPHIC TESTING in OpenStreetMap

We have applied metamorphic testing for the discovering of geometric errors and tagging mistakes in OpenStreetMap. A collection of metamorphic rules has been designed with this aim. An implementation has been made with XQuery. 

(In collaboration with Antonio Becerra-Terón, Manuel Méndez, Mercedes Merayo and Manuel Núñez)

DEBUGGING

CTSPARQL
We have developed a tool for the discovery and diagnosis of wrong SPARQL queries with ontology and constraint reasoning

DEBXQUERY
We have developed a Declarative Debugger for XQuery. It is based on the traversal of the debugging tree of a query and the answering of Yes/No questions.  

DEBSPARQL
We have developed a Declarative Debugger for SPARQL. It is based on the traversal of the debugging tree of a query. 

(In collaboration with Antonio Becerra-Terón)

...

FUZZY EXTENSION OF SPARQL

FSA-SPARQL
We have developed an fuzzy extension of the SPARQL query language. It is able to query fuzzy RDF datasets with fuzzy connectives and operators

FSA-SPARQL and SOCIAL NETWORKS
FSA-SPARQL has been used to query social networks

TUNING FSA-SPARQL
An encoding to Prolog/FASILL and a tuning technique to customize queries from test cases have been also studied

(In collaboration with  Antonio Becerra-Terón, José Antonio Riaza and Ginés Moreno)

OpenStreetMap

XOSM

We have developed a tool for querying OpenStreetMap.

A library of XQuery has been developed to retrieve layers OSM maps, and define queries involving spatial, keyword-based and aggregation operations. XOSM can be also used for integrating Linked Open Data and OSM maps

An extension of XOSM has been developed for integrating and querying social networks

(In collaboration with Antonio Becerra and Manuel Torres)