34 Result(s)
-
Chapter and Conference Paper
A Web Tool for XQuery Debugging
This system demo shows how to debug XQuery programs using an algorithmic debugger developed for XQuery. The debugging process consists in the building of a debugging tree and the answering of questions Yes/No ...
-
Chapter and Conference Paper
Declarative Debugging of XML Queries
In this paper we present the elements of an algorithmic debugger for XQuery. Given a XQuery program/query, a debugging tree is built in which the root is the query and the answer, and non-root nodes contain th...
-
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
Automatic Generation of Ecore Models for Testing ATL Transformations
Model transformation testing is crucial to detect incorrect transformations. Buggy transformations can lead to incorrect target models, either violating target meta-model requirements or more complex target mo...
-
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
SemSynX: Flexible Similarity Analysis of XML Data via Semantic and Syntactic Heterogeneity/Homogeneity Detection
In this paper we introduce and experimentally assess SemSynX, a novel technique for supporting similarity analysis of XML data via semantic and syntactic heterogeneity/homogeneity detection. Given two XML trees,
-
Chapter
Extraction of Knowledge Rules for the Retrieval of Mesoscale Oceanic Structures in Ocean Satellite Images
ocean satellite has as goal the detection of phenomena related with ocean dynamics. In this context, an essential role. In this chapter we will present the tool developed in our group in order to ...
-
Chapter and Conference Paper
Towards Flexible Similarity Analysis of XML Data
The problem of supporting similarity analysis of XML data is a major problem in the data fusion research area. Several approaches have been proposed in literature, but lack of flexibility represents a hard challe...
-
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
Aggregation Operators in Geospatial Queries for Open Street Map
One of the most stablished Volunteered Geographic Information (VGI) systems is Open Street Map (OSM) offering data from the earth of urban and rural maps. Recently [1], we have presented a library for querying OS...
-
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
Embedding OWL Querying and Reasoning into XQuery
In this paper we present a framework called XQOWL that makes possible to handle XML and RDF/OWL data with XQuery. XQOWL can be considered as an extension of the XQuery language that connects XQuery with SPARQL...
-
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
Fuzzy XPath Queries in XQuery
We have recently designed a fuzzy 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 tw...
-
Chapter and Conference Paper
A Model Transformation Language Based on Logic Programming
In this paper we present a model transformation language based on logic programming. The language, called PTL (Prolog based Transformation Language), can be considered as a hybrid language in which ATL-style rule...
-
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
Validation of XML Documents with SWRL
In this paper we describe how XML documents are mapped into an OWL ontology and how SWRL rules are used to validate the semantic content of XML documents. XML completion and data constraints are specified with...
-
Chapter and Conference Paper
A XPath Debugger Based on Fuzzy Chance Degrees
We describe how we can manipulate an XPath expression in order to obtain a set of alternative XPath expressions that match to a given XML document. For each alternative XPath expression we will give a chance d...
-
Chapter and Conference Paper
OWL RL in Logic Programming: Querying, Reasoning and Inconsistency Explanations
In this paper we describe a logic programming based implementation of the OWL 2 RL fragment. We show how goals are used for querying, forward reasoning permits to infer new knowledge, and ontology inconsistenc...
-
Chapter and Conference Paper
Using OWL and SWRL for the Semantic Analysis of XML Resources
In this paper we describe how to analyze the semantic content of XML documents. With this aim, XML resources are mapped into an OWL ontology and SWRL rules are used for specifying XML semantic content. We have...
