Re: reification test case

[...]

> 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