- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Tue, 16 Jul 2013 08:21:36 -0700
- 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