Re: some GRAPHS strawpolls for today (agenda?)

On Apr 25, 2012, at 9:08 AM, 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.

As I see it, there are two "models" for this whole issue on the table. In yours, a dataset is effectively a graph-baptism device for attaching names to graphs. In the other, the term "graph name" is a misnomer, and the fourth field is more like a context or 'extension' name, in any case one which can influence the interpretations of the IRIs in the graph. Call these respectively the Name and Context views. Then different views give different votes.

> 
> I've erred on the side of brevity here.
> 
>     -- Sandro
> 
> ====================================
> 
> 
> 1. The default graph is asserted
> 
>  "{<a> <b> <c>}" entails turtle("<a> <b> <c>")

agree (in both views)

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

Name; agree.  Context: disagree

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

Name; agree.  Context: disagree.  Answer should align with 2. 

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

Name; agree.  Context: disagree, would be my vote. But it is not crucial either way.

> 
> 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

Name; agree.  Context: probably shouldn't allow blank nodes to denote contexts. (The resulting reasoning patterns are nightmarish.)

> 
> 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 know what this is supposed to mean, I confess. 

> 
> 7. Datasets only say which triples are known to be in a named graph,
>   not which triples are *not* in that named graph.

Name: strongly disagree.  Context: agree

Pat

> 
>   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>}".
> 
> 
> 
> 

------------------------------------------------------------
IHMC                                     (850)434 8903 or (650)494 3973   
40 South Alcaniz St.           (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes

Received on Saturday, 28 April 2012 15:57:33 UTC