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 |
|