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: Sandro Hawke <sandro@w3.org>
Date: Wed, 17 Jul 2013 23:36:48 -0400
Message-ID: <51E762D0.5080601@w3.org>
To: "Peter F. Patel-Schneider" <pfpschneider@gmail.com>
CC: Jeremy J Carroll <jjc@syapse.com>, www-archive@w3.org, phayes@ihmc.us
On 07/17/2013 11:27 PM, Peter F. Patel-Schneider wrote:
> Aside from any issues that I have with semantics, the ability to infer 
> equality would produce a very big change in RDF reasoning.
>

True, but it seems to me that in practice, people pick and choose the 
bits of the reasoning they want to do.    owl:sameAs (etc) are right 
there, if they want to use them.

        -- Sandro

>
> peter
>
>> 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 Thursday, 18 July 2013 03:36:58 UTC

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