- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Tue, 5 Feb 2002 17:23:05 +0100
- To: "Pat Hayes <phayes" <phayes@ai.uwf.edu>
- Cc: "w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>
[...] > There's something wrong with Euler, then. It isn't valid to go from > > <some huge graph with _:s1 in it> > <an exactly similar graph with _:s2 substituted for _:s1> > _:s1 foo baz > > to > _:s2 foo baz. > > no matter what is in the huge graph. well Pat, we get that <http://example.org/eg#s> <http://example.org/eg#p> _:s1 . <http://example.org/eg#s> <http://example.org/eg#p> _:s2 . _:s1 <http://example.org/eg#q> <http://example.org/eg#v> . is *not* entailing _:s2 <http://example.org/eg#q> <http://example.org/eg#v> . even <http://example.org/eg#s> <http://example.org/eg#p> _:s1 . <http://example.org/eg#s> <http://example.org/eg#p> _:s2 . _:s1 <http://example.org/eg#q> <http://example.org/eg#v> . is *not* entailing _:s1 <http://example.org/eg#q> <http://example.org/eg#v> . and even <http://example.org/eg#s> <http://example.org/eg#p> _:s1 . _:s1 <http://example.org/eg#q> <http://example.org/eg#v> . is *not* entailing _:s2 <http://example.org/eg#q> <http://example.org/eg#v> . but _:s1 <http://example.org/eg#s> <http://example.org/eg#p> . _:s1 <http://example.org/eg#q> <http://example.org/eg#v> . is entailing _:s2 <http://example.org/eg#q> <http://example.org/eg#v> . I remember some (unfinished) discussion we had about that at the Sebastopol f2f meeting but I want follow MT! -- Jos
Received on Tuesday, 5 February 2002 11:23:48 UTC