- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Wed, 17 Jul 2013 20:27:18 -0700
- To: Jeremy J Carroll <jjc@syapse.com>
- CC: Sandro Hawke <sandro@w3.org>, www-archive@w3.org, phayes@ihmc.us
Aside from any issues that I have with semantics, the ability to infer
equality would produce a very big change in RDF reasoning.
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:27:48 UTC