W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > February 2002

Re: reification test case

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>
Message-ID: <OF549C02CA.E5C2E121-ON41256B57.0056C320@agfa.be>

[...]

> 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 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:45:05 EDT