W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > July to September 2005

Comments on "SPARQL Query Language for RDF"

From: Enrico Franconi <franconi@inf.unibz.it>
Date: Fri, 2 Sep 2005 04:27:06 +0200
Message-Id: <7EA9F9E3-4E0C-4AC0-B3AB-9FBF691D5855@inf.unibz.it>
Cc: Sergio Tessaris <tessaris@inf.unibz.it>
To: RDF Data Access Working Group <public-rdf-dawg@w3.org>

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 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:15:24 GMT