Re: dataset semantics

On Sat, 17 Dec 2011 00:43:38 -0500, Sandro Hawke <sandro@w3.org> said:

    sandro> We haven't quite figured that out yet.  I'm proposing one
    sandro> part of that is that a dataset being true implies its
    sandro> default graph is true.

What about this,

:a {
    :moon :substance :green_cheese .
}

:b {
    :moon :substance :blue_cheese .
}

:c {
    :bob :thinks :a .
    :alice :thinks :b .
}

This is all fine and true and everything. But what then in the
(common) case where the default graph is the union of all named
graphs, we have the merge of :a and :b which (suppose) is false
because we know the moon is only made of one kind of cheese?

Cheers,
-w