![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
A Computational Model for Functional Logic Deductive Databases
This paper adds the handling of negative information to a functional-logic deductive database language. By adopting as semantics for negation the so-called CRWLF, wherein the negation is intended as ‘finite failu...
-
Chapter and Conference Paper
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs
In this paper we start the design of a functional-logic deductive database language. Given that most logic deductive languages consider bottom-up evaluation as operational mechanism, here we will focus on the ...
-
Chapter and Conference Paper
Describing Use Cases with Activity Charts
The Model-Driven Development (MDD) describes and maintains models of the system under development. The Unified Modeling Language (UML) supports a set of semantics and notation that addresses all scales of arch...
-
Chapter and Conference Paper
Solving Constraints on Sets of Spatial Objects
In this paper, we present a constraint solver for constraints on sets of spatial objects. With this aim, we define a constraint system for handling spatial data types (points, lines, polygons and regions) and con...
-
Article
Database query languages and functional logic programming
Functional logic programming is a paradigm which integrates functional and logic programming. It is based on the use of rewriting rules for defining programs, and rewriting for goal solving. In this context, g...
-
Chapter and Conference Paper
Automatic Partial Inversion of Inductively Sequential Functions
We introduce a new partial inversion technique for first-order functional programs. Our technique is simple, fully automatic, and (when it succeeds) returns a program that belongs to the same class of the orig...
-
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...
-
Chapter and Conference Paper
Integrating XQuery and Logic Programming
In this paper we investigate how to integrate the XQuery language and logic programming. With this aim, we represent XML documents by means of a logic program. This logic program represents the document schema...
-
Chapter and Conference Paper
Ontology-Based Modelling of Ocean Satellite Images
In this paper we will define an ontology about the semantic content of ocean satellite images in which we are able to represent types of ocean structures, spatial and morphological concepts, and knowledge about m...
-
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
A Flexible XPath-Based Query Language Implemented with Fuzzy Logic Programming
In this paper we present an extension of the XPath query language for the handling of flexible queries. In order to provide ranked answers, our approach proposes fuzzy variants of and, or and avg operators for XP...
-
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...
-
Chapter and Conference Paper
Transformation and Validation with SWRL and OWL of ODM-Based Models
In this paper we present an approach for the specification of transformations and validations of ODM models. Adopting a SWRL/OWL based approach we will show how transform and validate models. Model-to-model tr...
-
Chapter and Conference Paper
A Declarative Embedding of XQuery in a Functional-Logic Language
This paper addresses the problem of integrating a fragment of XQuery, a language for querying XML documents, into the functional-logic language ...
-
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...