Jesús Manuel Almendros-Jiménez

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 33

Top Topics

Logic Programming

Top Venues

OTM Conferences

Publications

Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Ginés Moreno, José A. Riaza
Tuning fuzzy SPARQL queries. Int. J. Approx. Reason. 170 (2024)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Mercedes G. Merayo, Manuel Núñez
Using Metamorphic Testing to Improve the Quality of Tags in OpenStreetMap. IEEE Trans. Software Eng. 49 (2) (2023)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Ginés Moreno, José A. Riaza
Flexible Aggregation in FSA-SPARQL. FUZZ-IEEE (2021)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón
Declarative Debugging of XML Queries. PADL (2021)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón
A Web Tool for XQuery Debugging. ICWE (2021)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón
Discovery and diagnosis of wrong SPARQL queries with ontology and constraint reasoning. Expert Syst. Appl. 165 (2021)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón
Debugging of Wrong and Missing Answers in SPARQL✱. DBPL (2021)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Mercedes G. Merayo, Manuel Núñez
Metamorphic testing of OpenStreetMap. Inf. Softw. Technol. 138 (2021)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Ginés Moreno, José A. Riaza
Tuning Fuzzy SPARQL Queries in a Fuzzy Logic Programming Environment. FUZZ-IEEE (2019)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Manuel Torres
Integrating and Querying OpenStreetMap and Linked Geo Open Data. Comput. J. 62 (3) (2019)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón
Analyzing the Tagging Quality of the Spanish OpenStreetMap. ISPRS Int. J. Geo Inf. 7 (8) (2018)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Ginés Moreno
Fuzzy queries of social networks with FSA-SPARQL. Expert Syst. Appl. 113 (2018)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón
Automatic property-based testing and path validation of XQuery programs. Softw. Test. Verification Reliab. 27 (1-2) (2017)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Alfredo Cuzzocrea
Detecting and Diagnosing Syntactic and Semantic Errors in SPARQL Queries. EDBT/ICDT Workshops (2017)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Ginés Moreno
A fuzzy extension of SPARQL based on fuzzy sets and aggregators. FUZZ-IEEE (2017)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón
A Web Tool for Type Checking and Testing of SPARQL Queries. ICWE (2017)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Alfredo Cuzzocrea
Syntactic and semantic validation of SPARQL queries. SAC (2017)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón
Property-based testing of SPARQL queries. DBPL (2017)
Jesús Manuel Almendros-Jiménez, Luis Iribarne, Jesús J. López-Fernández, Ángel Mora Segura
PTL: A model transformation language based on logic programming. J. Log. Algebraic Methods Program. 85 (2) (2016)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón
Automatic Generation of Ecore Models for Testing ATL Transformations. MEDI (2016)
Jesús Manuel Almendros-Jiménez, Alfredo Cuzzocrea
SemSynX: Flexible Similarity Analysis of XML Data via Semantic and Syntactic Heterogeneity/Homogeneity Detection. HAIS (2016)
Jesús Manuel Almendros-Jiménez, Alejandro Luna, Ginés Moreno
Debugging while interpreting fuzzy XPath queries. FUZZ-IEEE (2016)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón
XQuery-Based Query Processing in Open Street Map. GISTAM (Selected Papers) (2015)
Jesús Manuel Almendros-Jiménez, Alfredo Cuzzocrea
Towards Flexible Similarity Analysis of XML Data. OTM Workshops (2015)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón
Distance Based Queries in Open Street Map. DEXA Workshops (2015)
Jesús Manuel Almendros-Jiménez, Alejandro Luna Tedesqui, Ginés Moreno
Fuzzy XPath through Fuzzy Logic Programming. New Gener. Comput. 33 (2) (2015)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón
Querying Open Street Map with XQuery. GISTAM (2015)
Jesús Manuel Almendros-Jiménez, Miquel Bofill, Alejandro Luna Tedesqui, Ginés Moreno, Carlos Vázquez, Mateu Villaret
Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models. SUM (2015)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón
XQuery Testing from XML Schema Based Random Test Cases. DEXA (2) (2015)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Manuel Torres
Aggregation Operators in Geospatial Queries for Open Street Map. OTM Conferences (2015)
Jesús Manuel Almendros-Jiménez, Alejandro Luna, Ginés Moreno
Thresholded debugging of XPath queries. FUZZ-IEEE (2015)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón
Automatic validation of XQuery programs. iiWAS (2015)
Eva Vidal-Fernandez, Jose A. Piedra-Fernández, Jesús Manuel Almendros-Jiménez, Manuel Cantón-Garbín
OBIA System for Identifying Mesoscale Oceanic Structures in SeaWiFS and MODIS-Aqua Images. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 8 (3) (2015)
Jesús Manuel Almendros-Jiménez
Embedding OWL Querying and Reasoning into XQuery. OTM Conferences (2014)
Jesús Manuel Almendros-Jiménez, Luis Iribarne, Jesús J. López-Fernández, Ángel Mora Segura
An XQuery-Based Model Transformation Language. MEDI (2014)
Jesús Manuel Almendros-Jiménez, Alejandro Luna, Ginés Moreno
Fuzzy XPath Queries in XQuery. OTM Conferences (2014)
Jesús Manuel Almendros-Jiménez, Alejandro Luna Tedesqui, Ginés Moreno
Dynamic Filtering of Ranked Answers When Evaluating Fuzzy XPath Queries. RSCTC (2014)
Jesús Manuel Almendros-Jiménez
XQOWL: An Extension of XQuery for OWL Querying and Reasoning. PROLE (2014)
Jesús Manuel Almendros-Jiménez, Luis M. Domene, Jose A. Piedra-Fernández
A Framework for Ocean Satellite Image Classification Based on Ontologies. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 6 (2-3) (2013)
Jesús Manuel Almendros-Jiménez, Alejandro Luna Tedesqui, Ginés Moreno
Annotating "Fuzzy Chance Degrees" When Debugging XPath Queries. IWANN (2) (2013)
Jesús Manuel Almendros-Jiménez, Luis Iribarne
A Model Transformation Language Based on Logic Programming. SOFSEM (2013)
Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
XPath Query Processing in a Functional-Logic Language. Electron. Notes Theor. Comput. Sci. 282 (2012)
Jesús Manuel Almendros-Jiménez, Luis Iribarne
Model Validation in Ontology Based Transformations WWV (2012)
Jesús Manuel Almendros-Jiménez
Validation of XML Documents with SWRL. CD-ARES (2012)
Jesús Manuel Almendros-Jiménez, Alejandro Luna, Ginés Moreno
A XPath Debugger Based on Fuzzy Chance Degrees. OTM Workshops (2012)
Jesús Manuel Almendros-Jiménez, Luis Iribarne
Transformation and Validation with SWRL and OWL of ODM-Based Models. MEDI (2012)
Jesús Manuel Almendros-Jiménez
OWL RL in Logic Programming: Querying, Reasoning and Inconsistency Explanations. RuleML (2012)
Jesús Manuel Almendros-Jiménez
Using OWL and SWRL for the Semantic Analysis of XML Resources. OTM Conferences (2) (2012)
Jesús Manuel Almendros-Jiménez, Alejandro Luna, Ginés Moreno
Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language. Electron. Notes Theor. Comput. Sci. 282 (2012)
Jesús Manuel Almendros-Jiménez
A Prolog-based Query Language for OWL. Electron. Notes Theor. Comput. Sci. 271 (2011)
Jesús Manuel Almendros-Jiménez, Alejandro Luna, Ginés Moreno
A Flexible XPath-Based Query Language Implemented with Fuzzy Logic Programming. RuleML Europe (2011)
Luis Iribarne, Nicolás Padilla, José Andrés Asensio, Javier Criado, Rosa Ayala, Jesús Manuel Almendros-Jiménez, Massimo Menenti
Open-Environmental Ontology Modeling. IEEE Trans. Syst. Man Cybern. Part A 41 (4) (2011)
Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
A Declarative Embedding of XQuery in a Functional-Logic Language. LOPSTR (2011)
Jesús Manuel Almendros-Jiménez
Querying and Reasoning with RDF(S)/OWL in XQuery. APWeb (2011)
Jesús Manuel Almendros-Jiménez
A Prolog library for OWL RL. LID (2011)
Jesús Manuel Almendros-Jiménez, Josep Silva, Salvador Tamarit
XQuery optimization based on program slicing. CIKM (2011)
Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
XQuery in the Functional-Logic Language Toy. WFLP (2011)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco García-García
XPath for Querying GML-Based Representation of Urban Maps. ICCSA (1) (2011)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco García-García
Development of a Query Language for GML based on XPath. WWV (2010)
Jesús Manuel Almendros-Jiménez, Jose A. Piedra, Manuel Cantón
An ontology-based modeling of an ocean satellite image retrieval system. IGARSS (2010)
Jesús Manuel Almendros-Jiménez, Jose A. Piedra, Manuel Cantón
Ontology-Based Modelling of Ocean Satellite Images. WSKS (1) (2010)
Jesús Manuel Almendros-Jiménez, Luis Iribarne, José Andrés Asensio, Nicolás Padilla, Cristina Vicente-Chicote
An Eclipse GMF Tool for Modelling User Interaction. WSKS (1) (2009)
Jesús Manuel Almendros-Jiménez, Luis Iribarne
UML Modeling of User and Database Interaction. Comput. J. 52 (3) (2009)
Jesús Manuel Almendros-Jiménez
Preface. Electron. Notes Theor. Comput. Sci. 248 (2009)
Jesús Manuel Almendros-Jiménez
Extending XQuery for Semantic Web Reasoning. INAP (2009)
Jesús Manuel Almendros-Jiménez
An Encoding of XQuery in Prolog. XSym (2009)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños
Querying XML documents in logic programming. Theory Pract. Log. Program. 8 (3) (2008)
Jesús Manuel Almendros-Jiménez
An RDF Query Language based on Logic Programming. Electron. Notes Theor. Comput. Sci. 200 (3) (2008)
Jesús Manuel Almendros-Jiménez, Luis Iribarne
An extension of UML for the modeling of WIMP user interfaces. J. Vis. Lang. Comput. 19 (6) (2008)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños
Integrating XQuery and Logic Programming. INAP/WLP (2007)
Jesús Manuel Almendros-Jiménez, Luis Iribarne
Describing Use-Case Relationships with Sequence Diagrams. Comput. J. 50 (1) (2007)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños
Querying XML Documents in Logic Programming CoRR (2007)
Antonio Corral, Jesús Manuel Almendros-Jiménez
A performance comparison of distance-based query algorithms using R-trees in spatial databases. Inf. Sci. 177 (11) (2007)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón
Database Query Languages and Functional Logic Programming. New Gener. Comput. 24 (2) (2006)
Jesús Manuel Almendros-Jiménez, Germán Vidal
Automatic Partial Inversion of Inductively Sequential Functions. IFL (2006)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños
Magic Sets for the XPath Language. J. Univers. Comput. Sci. 12 (11) (2006)
Jesús Manuel Almendros-Jiménez, Luis Iribarne
Designing GUI Components for UML Use Cases. ECBS (2005)
Jesús Manuel Almendros-Jiménez
Constraint logic programming over sets of spatial objects. WCFLP (2005)
Jesús Manuel Almendros-Jiménez, Antonio Corral
Solving Constraints on Sets of Spatial Objects. PADL (2005)
Jesús Manuel Almendros-Jiménez, Luis Iribarne
Describing Use Cases with Activity Charts. Metainformatics (2004)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón
A safe relational calculus for functional logic deductive databases. Electron. Notes Theor. Comput. Sci. 86 (3) (2003)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón
A Relational Algebra for Functional Logic Deductive Databases. Ershov Memorial Conference (2003)
Jesús Manuel Almendros-Jiménez, Luis González-Jiménez
Bases for the development of LAST: a formal method for business software requirements specification. Inf. Softw. Technol. 44 (2) (2002)
Jesús Manuel Almendros-Jiménez, Luis González-Jiménez
Erratum to "Bases for the development of LAST: a formal method for business software requirements specification" [Information and Software Technology, 44 (2002) 65-75]. Inf. Softw. Technol. 44 (6) (2002)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Jaime Sánchez-Hernández
A Computational Model for Functional Logic Deductive Databases. ICLP (2001)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs. FLOPS (2001)
Jesús Manuel Almendros-Jiménez, Luis González-Jiménez
The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design. APSEC (2000)
Jesús Manuel Almendros-Jiménez
Improving Computations in a Typed Functional Logic Language. AMAST (1998)
Jesús Manuel Almendros-Jiménez, Ana Gil-Luezas
Lazy Narrowing with Parametric Order Sorted Types. ALP/HOA (1997)
Jesús Manuel Almendros-Jiménez, Antonio Gavilanes-Franco, Ana Gil-Luezas
Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types. ALP (1996)
Jesús Manuel Almendros-Jiménez
Type Inference and Checking for POS-typed Funtional Logic Programs. APPIA-GULP-PRODE (1996)