- From: Pat Hayes <phayes@ihmc.us>
- Date: Sat, 17 Dec 2011 10:02:58 -0600
- To: Sandro Hawke <sandro@w3.org>
- Cc: William Waites <wwaites@tardis.ed.ac.uk>, david@3roundstones.com, public-rdf-wg@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 UTC