- From: Sandro Hawke <sandro@w3.org>
- Date: Wed, 17 Jul 2013 23:36:48 -0400
- 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