Re: dataset semantics

On 12/17/11 11:02 AM, Pat Hayes wrote:
> 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?

+1

A dataset is an esoteric artifact that doesn't really have a place in 
the RDF spec.

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


-- 

Regards,

Kingsley Idehen	
Founder&  CEO
OpenLink Software
Company Web: http://www.openlinksw.com
Personal Weblog: http://www.openlinksw.com/blog/~kidehen
Twitter/Identi.ca handle: @kidehen
Google+ Profile: https://plus.google.com/112399767740508618350/about
LinkedIn Profile: http://www.linkedin.com/in/kidehen