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 <san...@w3.org
<mailto:san...@w3.org>> wrote:
It follows from this dataset:
<> a rdf:DirectDataset.
GRAPH _:a { <s> <p> <o> }
GRAPH _:b { <s> <p> <o> }
that _:a = _:b.
