W3C home > Mailing lists > Public > www-archive@w3.org > July 2013

Re: rdfs:Graph ? comment on http://www.w3.org/TR/rdf11-concepts/#section-dataset and issue 35

From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
Date: Tue, 16 Jul 2013 08:21:36 -0700
Message-ID: <51E56500.7020609@gmail.com>
To: Jeremy J Carroll <jjc@syapse.com>
CC: Sandro Hawke <sandro@w3.org>, www-archive@w3.org, phayes@ihmc.us
I don't see that any of these inferences follow in RDF, and I don't see why 
they should follow at all.  Just because two names are names for the same 
thing doesn't mean that they are the same name.

peter

On 07/16/2013 07:37 AM, Jeremy J Carroll wrote:
>
> OK - I am getting started on this 
>
> how about this dataset:
>
>
> <> a rdf:DirectDataset.
> GRAPH _:a { _:a _:a _:a }
> GRAPH _:b { _:b _:b _:b }
>
> does _:a = _:b?:
>
>
> Or this one
>
> <> a rdf:DirectDataset.
> GRAPH _:a { <s> <p> <o> }
> GRAPH _:b { <s> <p> <o> }
> GRAPH _:c { _:a _:a _:a }
> GRAPH _:d { _:b _:b _:b }
>
> does _:c = _:d ?
>
> What is the definition of two graphs being equal in this view?
>
> Here is one:
> two graphs g and h within a dataset are equal if there exists an 
> automorphism of the dataset mapping each ground node to itself, and inducing 
> a bijection over the set of blank nodes such that the automorphism maps g to h.
>
> (That isn't quite what is intended - since it does not make <A> and <B> 
> equal in this case:
>
> <> a rdf:DirectDataset.
> GRAPH <A> { <s> <p> <o> }
> GRAPH <B> { <s> <p> <o> }
> )
>
> In my view what you call the WebviewDataset is the natural model on the Web, 
> and if this is not to be 'the' way of understanding named graphs because of 
> some other view, I would like that view to be articulated rather than only 
> exemplified.
>
> Jeremy J Carroll
> Principal Architect
> Syapse, Inc.
>
>
>
> On Jul 15, 2013, at 5:39 PM, Sandro Hawke <sandro@w3.org 
> <mailto:sandro@w3.org>> wrote:
>
>> It follows from this dataset:
>>
>> <> a rdf:DirectDataset.
>> GRAPH _:a { <s> <p> <o> }
>> GRAPH _:b { <s> <p> <o> }
>>
>> that _:a = _:b. 
>
Received on Tuesday, 16 July 2013 15:22:14 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:44:21 UTC