W3C home > Mailing lists > Public > public-rdf-wg@w3.org > December 2011

Re: dataset semantics

From: William Waites <wwaites@tardis.ed.ac.uk>
Date: Sat, 17 Dec 2011 10:29:00 +0000 (GMT)
Message-Id: <20111217.102900.467512908.wwaites@tardis.ed.ac.uk>
To: sandro@w3.org
Cc: phayes@ihmc.us, david@3roundstones.com, public-rdf-wg@w3.org
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?


Received on Saturday, 17 December 2011 10:28:36 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 22:02:02 UTC