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

Re: dataset semantics

From: Pat Hayes <phayes@ihmc.us>
Date: Sat, 17 Dec 2011 10:02:58 -0600
Cc: William Waites <wwaites@tardis.ed.ac.uk>, david@3roundstones.com, public-rdf-wg@w3.org
Message-Id: <0C151BE2-79B9-4379-B52B-CEAD317BCA24@ihmc.us>
To: Sandro Hawke <sandro@w3.org>

On Dec 17, 2011, at 7:09 AM, Sandro Hawke wrote:

> On Sat, 2011-12-17 at 10:29 +0000, William Waites wrote:
>> 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.

> In terms of an entailment test:
> 
>    <a>  { <b> <c> <d> }
> 
> does NOT entail
> 
>   { <b> <c> <d> }
> 


Really?? Is this generally accepted, or is it your own conclusion? Because this has the (to me surprising) consequence that publishing a dataset does not assert ANY of the named graphs in it. Which leaves me wondering what the point of having datasets can possibly be in the first place. Does the Semantic Web consist mostly of unasserted fiction? 

Pat

------------------------------------------------------------
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, 17 December 2011 16:03:41 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:25:46 GMT