test change proposal: same graph in default and named graph parts of RDF dataset

Hi all,

I've been seeing where I fall short on the graph/ and dataset/ tests,
and it's all for the same reason. These tests:

dataset/manifest#dawg-dataset-09
dataset/manifest#dawg-dataset-10
dataset/manifest#dawg-dataset-12
graph/manifest#dawg-graph-10

All put the same URI as the default graph and as a graph in the named
graph part of the dataset, and all then correlate triple patterns by a
common subject. The results of each as approved rely on the fact that
blank nodes are disjoint between the default graph and a named graph.

That is, a graph <g.ttl> containing:

_:b1 :p :o .

will produce no results in this query:

SELECT * FROM <g.ttl> FROM NAMED <g.ttl> {
   ?s :p :o .
   GRAPH <g.ttl> { ?s :p :o }
}

To test Glitter+Anzo, I read all the data graphs into our quad store.
When the graph is queried in this type of query, the blank node is the
same whether it's treated as the default graph or a named graph, and so
I get results for these queries (and thus fail the tests).

I've talked this over with Andy and Eric, and we all agree that nothing 
in the spec mandates that the default graph need be different from all 
the named graphs that make up the RDF Dataset.

That is, if the RDF Dataset is {G, <u1, G1>, <u2, G2>, ... <un, Gn>}, 
then nothing dictates that G must be != from all the Gi.

In order to still maintain our test coverage (testing that bnode ids are 
not shared between different dataset graphs), I'm going to propose on 
Tuesday that we remove the above tests and replace them with

dataset/manifest#dawg-dataset-09b
dataset/manifest#dawg-dataset-10b
dataset/manifest#dawg-dataset-12b
graph/manifest#dawg-graph-10b

These are identical tests except that the graphs in the default graph 
and the named graph part of the dataset have different URIs.

Anzo+Glitter passes them.

We'll look at this on Tuesday, but please speak up before then if you 
think there is a problem here...

Lee

Received on Thursday, 4 October 2007 17:38:03 UTC