Re: dataset semantics

On 19 Dec 2011, at 10:33, Antoine Zimmermann wrote:

> Le 17/12/2011 17:02, Pat Hayes a écrit :
>> 
>> 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?
> 
> As I hope people won't be publishing datasets, there really isn't any problem with this. Really, we have to preserve the triple format as the standard way of publishing data on the Web. Datasets should only be an exchange format and data model for systems that manage data.

+1

> If we ever see the emergence of datasets as the dominant way of publishing data online, then we face the problem of having to compartiment datasets from different sources, and go for N-Quints and define Dataset-sets and reiterate all the hard work of this WG later.

+1

> Once you acknowledge this, you understand that the "named" graphs inside the datasets are just saying "there is an RDF graph containing those triples, it is labelled with this 'name' and we don't care whether it is asserted or not". Do we care whether a relational table is "asserting" something in a database?

+1

- Steve

-- 
Steve Harris, CTO, Garlik Limited
1-3 Halford Road, Richmond, TW10 6AW, UK
+44 20 8439 8203  http://www.garlik.com/
Registered in England and Wales 535 7233 VAT # 849 0517 11
Registered office: Thames House, Portsmouth Road, Esher, Surrey, KT10 9AD

Received on Monday, 19 December 2011 20:50:44 UTC