-
Chapter and Conference Paper
A Web Tool for Type Checking and Testing of SPARQL Queries
In this paper a property-based testing tool for SPARQL is described. 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 w...
-
Chapter and Conference Paper
XQuery-Based Query Processing in Open Street Map
Volunteered geographic information (VGI) makes available a very large resource of geographic data. The exploitation of data coming from such resources requires an additional effort in the form of tools and eff...
-
Chapter and Conference Paper
XQuery Testing from XML Schema Based Random Test Cases
In this paper we present the elements of an XQuery testing tool which makes possible to automatically test XQuery programs. The tool is able to systematically generate XML instances (i.e., test cases) from a g...
-
Chapter and Conference Paper
Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models
In this paper we deal with propositional fuzzy formulae containing several propositional symbols linked with connectives defined in a lattice of truth degrees more complex than Bool. Instead of focusing on satisf...
-
Chapter and Conference Paper
Dynamic Filtering of Ranked Answers When Evaluating Fuzzy XPath Queries
We have recently designed an extension of the XPath language which provides ranked answers to flexible queries taking profit of fuzzy variants of and, or and avg operators for XPath conditions, as well as two str...
-
Chapter and Conference Paper
Annotating “Fuzzy Chance Degrees” When Debugging XPath Queries
In this paper we present a method for debugging XPath queries which has been implemented with the fuzzy logic language MALP by using the FLOPER tool developed in our group. We describe how XPath expressions ca...
-
Chapter and Conference Paper
Querying and Reasoning with RDF(S)/OWL in XQuery
In this paper we investigate how to use the XQuery language for querying and reasoning with RDF(S)/OWL-style ontologies. Our proposal allows the handling of RDF(S)/OWL triples by means of a XQuery library for ...
-
Chapter and Conference Paper
XPath for Querying GML-Based Representation of Urban Maps
Geography Markup Language (GML) has been established as the standard language for the transport, storage and modelling of geographic information. In this paper we study how to adapt the XPath que...
-
Chapter and Conference Paper
An Encoding of XQuery in Prolog
In this paper we describe the implementation of (a subset of) the XQuery language using logic programming (in particular, by means of Prolog). Such implementation has been developed using the Prolog interprete...
-
Chapter and Conference Paper
An Eclipse GMF Tool for Modelling User Interaction
Model-Driven Development (MDD) has encouraged the use of automated software tools that facilitate the development process from modelling to coding. User Interfaces (UI), as a significant part of most applicati...