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 <[email protected] <mailto:[email protected]>> wrote:

It follows from this dataset:

<> a rdf:DirectDataset.
GRAPH _:a { <s> <p> <o> }
GRAPH _:b { <s> <p> <o> }

that _:a = _:b.



Reply via email to