Elegir campos a generar del autor Jesús Manuel

Datos personales Todos / Ninguno
Correo Electrónico
Artículos Todos / Ninguno
Combining Metamorphic Testing and Machine Learning to Enhance OpenStreetMap
Using metamorphic testing to improve the quality of tags in OpenStreetMap
Discovery and diagnosis of wrong SPARQL queries with ontology and constraint reasoning
Metamorphic testing of OpenStreetMap
Retrieval of Social Network Data for Points of Interest in OpenStreetMap
Fuzzy queries of social networks with FSA-SPARQL
Analyzing the tagging quality of the Spanish OpenStreetMap
Preface
Automatic property-based testing and path validation of XQuery programs
Integrating and Querying OpenStreetMap and Linked Geo Open Data
PTL: A model transformation language based on logic programming
Fuzzy XPath through Fuzzy Logic Programming
OBIA System for Identifying Mesoscale Oceanic Structures in SeaWiFS and MODIS-Aqua Images
A location-based approach to the classification of mesoscale oceanic structures in SeaWiFS and Aqua-MODIS images of Northwest Africa
XQOWL: An Extension of XQuery for OWL Querying and Reasoning
A framework for ocean satellite image classification based on ontologies
Analyzing fuzzy logic computations with Fuzzy XPath
XPath query processing in a functional-logic language
Fuzzy logic programming for implementing a flexible XPath-based query language
ODM-based UML Model Transformations using Prolog
Open-Environmental Ontology Modeling
A prolog-based query language for OWL
UML modeling of user and database interaction
Preface
A Framework for Model Transformation in Logic Programming
An RDF Query Language based on Logic Programming
An extension of UML for the modeling of WIMP user interfaces
Querying XML documents in logic programming
A performance comparison of distance-based query algorithms using R-trees in spatial databases
Describing use-case relationships with sequence diagrams
Magic sets for the XPath language
Programming and languages J.UCS special issue with extended versions of selected papers from PROLE 2005: The fifth Spanish conference on programming and languages
A method based on UML use cases for GUI design
A safe relational calculus for functional logic deductive databases
Erratum: Bases for the development of LAST - A formal method for business software requirements specification (Information and Software Technology (2002) 44 (65-75) PII: S0950584901002099)
Bases for the development of LAST: A formal method for business software requirements specification
Preface
Libros, capítulos, tesis Todos / Ninguno
A web tool for type checking and testing of SPARQL queries
Model and Data Engineering
Programación lógica difusa para la gestión flexible de documentos XML. (Fuzzy Logic Programming for the Flexible Management of XML Documents)
Extraction of knowledge rules for the retrieval of mesoscale oceanic structures in ocean satellite images
Automatic generation of ecore models for testing ATL transformations
SemSynX: Flexible similarity analysis of XML data via semantic and syntactic heterogeneity/homogeneity detection
XQuery-based query processing in open street map
Sistema de análisis y recuperación de imágenes de satélite basado en objetos y ontologías aplicado a las estructuras oceánicas mesoescalares
Fuzzy XPath for the automatic search of fuzzy formulae models
XQuery testing from XML schema based random test cases
Towards flexible similarity analysis of XML data
Aggregation operators in geospatial queries for open street map
Fuzzy Xpath queries in Xquery
Dynamic filtering of ranked answers when evaluating fuzzy XPath queries
Embedding OWL querying and reasoning into Xquery
An Xquery-based model transformation language
Annotating "fuzzy chance degrees" when debugging xpath queries
A model transformation language based on logic programming
Validation of XML documents with SWRL
A declarative embedding of XQuery in a functional-logic language
A XPath debugger based on fuzzy chance degrees
Using OWL and SWRL for the semantic analysis of XML resources
Transformation and validation with SWRL and OWL of ODM-based models
OWL RL in logic programming: Querying, reasoning and inconsistency explanations
XPath for querying GML-based representation of urban maps
Extending XQuery for semantic web reasoning
Querying and reasoning with RDF(S)/OWL in XQuery
A flexible XPath-based query language implemented with fuzzy logic programming
XQuery in the functional-logic language toy
Ontology-based modelling of ocean satellite images
A rule based implementation of XQuery
Integrating XQuery and logic programming
An eclipse GMF tool for modelling user interaction
An encoding of XQuery in Prolog
Automatic partial inversion of inductively sequential functions
Un lenguaje de bases de datos deductivo basado en la programación lógico funcional
A relational algebra for functional logic deductive databases
INDALOG: A Declarative Deductive Database Language
A computational model for functional logic deductive databases
A framework for goal-directed bottom-up evaluation of functional logic programs
Programación lógico-funcional con tipos paramétricos y géneros ordenados
Improving computations in a typed functional logic language
Lazy narrowing with parametric order sorted types
Algebraic semantics for functional logic programming with polymorphic order-sorted types
Conferencias Todos / Ninguno
Development of a Query Language for GML based on XPath
Debugging ofwrong and missing answers in SPARQL
Flexible Aggregation in FSA-SPARQL
Property-based testing of SPARQL qeries
A fuzzy extension of SPARQL based on fuzzy sets and aggregators
Syntactic and semantic validation of SPARQL queries
Detecting and diagnosing syntactic and semantic errors in SPARQL queries
Debugging while interpreting fuzzy XPath queries
Automatic validation of XQuery programs
Querying open street map with XQuery
Distance Based Queries in Open Street Map
Thresholded debugging of XPath queries
Model validation in ontology based transformations
A prolog library for OWL RL
XQuery optimization based on program slicing
An ontology-based modeling of an ocean satellite image retrieval system
A query language for OWL based on logic programming
Describing use cases with activity charts
Solving constraints on sets of spatial objects
Designing GUI components from UML use cases
Constraint logic programming over sets of spatial objects
The LAST project: Development of a formal method for IS-specification and of a CASE-tool for IS-design
Improving computations in a typed functional logic language
Informes y otros Todos / Ninguno
Automatic Partial Inversion of Inductively Sequential Functions
A Web Tool for XQuery Debugging
Declarative Debugging of XML Queries
Tuning Fuzzy SPARQL Queries in a Fuzzy Logic Programming Environment
User Interaction and Interface Design with UML
Database query languages and functional logic programming
A Relational Algebra for Functional Logic Deductive Databases
Métricas del autor Todos / Ninguno
Indice H