Re: some GRAPHS strawpolls for today (agenda?)

On 25 Apr 2012, at 15:08, Sandro Hawke wrote:

> If we're going to talk about graphs today, maybe we can do it in a
> series of decisions.   There's not enough notice to make these binding,
> of course, but maybe we can get a sense of how close we are to
> consensus.
> 
> If we can't even get consensus on a few of these, these I think we
> should stop working on graph semantics in this WG.  I hope we're very
> close to consensus on all of these, except maybe the last, which I could
> see continuing as an open issue well into CR.
> 
> I've erred on the side of brevity here.
> 
>     -- Sandro
> 
> ====================================
> 
> 
> 1. The default graph is asserted
> 
>  "{<a> <b> <c>}" entails turtle("<a> <b> <c>")

+1

> 2. Named graphs are not asserted
> 
>  "<u> {<a> <b> <c>}" does not entail turtle("<a> <b> <c>")

+1

> 3. Named graphs are opaque
> 
>  "<u> {<a> <b> <c>}"  does not entail "<u> {<a> <b> _:x}"

Surely it must if _:x is an existential variable?

> 4. Graph labels denote just like in RDF
> 
>  "{<u1> owl:sameAs <u2>} <u1> {<a> <b> <c>}"
>  owl-entails
>  "<u2> {<a> <b> <c>}"

This seems like an OWL question, which http://www.w3.org/TR/sparql11-entailment/ should answer.

> 5. Blank nodes labels have file scope
> 
>   See SPARQL queries in 
>   http://www.w3.org/2011/rdf-wg/wiki/Graphs_Design_6.1#Blank_Nodes
>   or Skolemization example in
>   http://lists.w3.org/Archives/Public/public-rdf-wg/2012Apr/0132.html

Ideally not, for various pragmatic reasons, but it wouldn't be a disaster. Just irritating.

> 6. In trig, @union can be used in place of the default graph
> 
>   "@union <u> {<a> <b> <c>}" entails turtle "<a> <b> <c>"

I don't see why a data file should (or can) affect query engine operation. What happens if you ingest two files with different directives?

> 7. Datasets only say which triples are known to be in a named graph,
>   not which triples are *not* in that named graph.
> 
>   The merge of "<u> {<a> <b> <c>}" and "<u> {<a> <b> <d>}" is 
>   "<u> {<a> <b> <c>,<d>}".  
> 
>   Also "<u> {<a> <b> <c>,<d>}" entails "<u> {<a> <b> <c>}".

+1

- Steve

-- 
Steve Harris, CTO
Garlik, a part of Experian 
1-3 Halford Road, Richmond, TW10 6AW, UK
+44 20 8439 8203  http://www.garlik.com/
Registered in England and Wales 653331 VAT # 887 1335 93
Registered office: Landmark House, Experian Way, NG2 Business Park, Nottingham, Nottinghamshire, England NG80 1ZZ

Received on Wednesday, 25 April 2012 18:11:57 UTC