- From: Enrico Franconi <franconi@inf.unibz.it>
- Date: Fri, 2 Sep 2005 04:27:06 +0200
- To: RDF Data Access Working Group <public-rdf-dawg@w3.org>
- Cc: Sergio Tessaris <tessaris@inf.unibz.it>
Hi all. We would like to submit some comments on the "SPARQL Query Language for RDF" document, to be found in [1]. Our main goal is to be able to work on a future document about the semantics of (various parts of) SPARQL. We would like to identify fragments of SPARQL from a "core" language to a "full" language, and to work on formalising the semantics of the core language first and then extend it to cover the more complex languages. With the exception of the last comment in [1], our comments are not revealing any major impediment for the definition of a well founded model theoretic semantics for SPARQL. As a first exercise, in [2] we already worked out the formal semantics for core SPARQL and we also give some complexity result. We have a major concern on the possibility of giving any clear semantics to the querying provenance part, which we probably would prefer to leave out of the normative document. cheers --e. [1] <http://www.inf.unibz.it/krdb/w3c/sparql-notes-fub.pdf> [2] <http://www.inf.unibz.it/krdb/w3c/rdf-sparql-semantics.pdf> Enrico Franconi - franconi@inf.unibz.it Free University of Bozen-Bolzano - http://www.inf.unibz.it/~franconi/ Faculty of Computer Science - Phone: (+39) 0471-016-120 I-39100 Bozen-Bolzano BZ, Italy - Fax: (+39) 0471-016-129
Received on Friday, 2 September 2005 07:02:28 UTC