W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > April to June 2012

Action 644 : Review Update

From: Olivier Corby <Olivier.Corby@sophia.inria.fr>
Date: Thu, 14 Jun 2012 11:44:37 +0200
Message-ID: <4FD9B285.4090605@sophia.inria.fr>
To: SPARQL Working Group <public-rdf-dawg@w3.org>
I reviewed the document:


(date of the document: 2012 June 5)

I have found some typos and I have some comments.



"W3C Working Draft 05 January 2012"
Change the date

Remove this:

"The end date of the Last Call review period is 06 February 2012, i.e., 
comments on this working draft are due on or before this date."

2.3 Entailment and Consistency

We may also mention that SPARQL Update can be used to update an ontology 
(RDFS or OWL) and hence the update may interact with entailments.


"If any solution produces a triple containing an unbound variable or an 
illegal RDF construct, such as a literal in a subject or predicate 
position, then that triple is not included in the output RDF graph."

This sentence is ambiguous in case of delete.

"Blank nodes are prohibited in a DELETE template"

Should an application raise an error in this case ? DELETE (Informative)

"Example 6:
This example request deletes all records of old books (with date before 
year 2000) "

The text is contradictory with the example which searches for dates 
greater than 1970.

"The template can contain triples with no variables (known as ground or 
explicit triples), and these will also be inserted, providing the 
solution sequence is not empty."

I would write "provided that" instead of "providing"

3.1.4 LOAD

Which format must be supported by LOAD ?
RDF/XML ? Turtle ? ...

In the future, what will happen if an RDF document that contains named 
graphs is loaded ? The text says that the triples go into the default 
graph but users may expect that they go into the named graphs.
In the same way, what happens if this document is loaded into a named 
graph that differs with the named graphs of the document ?

3.2.1 CREATE

What happens if the store has a fixed set of graphs ?

3.2.2 DROP

"The GRAPH keyword is used to remove all triples from a graph denoted by 
The GRAPH keyword is used to remove a graph denoted by IRIref

"After successful completion of this operation, the graph is no longer 
the graph(s) is (are) no longer available

4.2.1 Dataset-UNION

" Dataset-UNION(DS2( ... , Dataset-UNION(DSn),{}) ... )"
Dataset-UNION(DS2, ... Dataset-UNION(DSn, {}) ... )

I think it could also end with :

Dataset-UNION(DSn-1, DSn)

4.3.4 Load Operation

"A Load Operation OpLoad is an Update Operation in which new triples 
(from a remote graph) are added in the Graph Store, either in the 
default slot or in a named slot, if specified"

-> add a "." at the end

4.3.5 Clear Operation

"OpClear(GS, iri) = GS if iri not in graphNames(GS); otherwise, 
OpClear(GS, irij) =
GS minus {(irij, Gj)} ) union {(irij,{})}"


OpClear(GS, iri) = GS if iri not in graphNames(GS); otherwise, 
OpClear(GS, irij) =
( GS minus {(irij, Gj)} ) union {(irij,{})}

add "(" after "="
In addition I would add: iri = irij

4.4.2 Drop Operation

"OpDrop(GS, iri) = GS if iri not in graphNames(GS); otherwise, 
OpDrop(GS, irij) = {DG} union {(irii, Gi ) | i ≠ j and 1 ≤ i ≤ n}"

I would add: iri = irij

Table 1: Mapping from Update Requests to Update Operations

"OpDeleteInsert(GS, TrDataset(GS,UsingClause*) ,QuadPatternDEL, 
QuadPatternINS, GroupGraphPattern)"
OpDeleteInsert(GS, TrDataset(GS,UsingClause*), QuadPatternDEL, 
QuadPatternINS, GroupGraphPattern)

move space after ","
Received on Thursday, 14 June 2012 09:45:26 GMT

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