Re: dataset semantics

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.

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.

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?

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

-- 
Antoine Zimmermann
ISCOD / LSTI - Institut Henri Fayol
École Nationale Supérieure des Mines de Saint-Étienne
158 cours Fauriel
42023 Saint-Étienne Cedex 2
France
Tél:+33(0)4 77 42 83 36
Fax:+33(0)4 77 42 66 66
http://zimmer.aprilfoolsreview.com/

Received on Monday, 19 December 2011 10:33:33 UTC