W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > August 2001

Re: Existential Quantification [Re: New RDF model theory]

From: <jos.deroo.jd@belgium.agfa.com>
Date: Fri, 17 Aug 2001 15:40:29 +0100
To: jjc@hplb.hpl.hp.com
Cc: w3c-rdfcore-wg@w3.org
Message-Id: <OF448919E4.10710563-ON41256AAB.004DE92C@bayer-ag.com>


> In danger of making another mistake ....
>
> I didn't quite see how the interpolation lemma worked when the LHS has
> anonymous nodes.
>
> How does it get the following entailment
>
>
> _:x <b> <c> .
>
>
> entails
>
> _:y <b> <c> .

I just see that we have a bug in our stuff...
for
  _:x <b> <c>. |=> _:y <b> <c>.
we assert LHS and query it with RHS
and i think we should query with
  {_:y <b> <c>} log:forAll _:y.
and then there is a match found with
  {_:x <b> <c>} log:forSome _:x.
(i have to think about that, and try...)

> Sorry if I'm being stupid.

What I learned via one of the RDF lists is
  "the wise searches for the truth
   while the stupid thinks he found it"
so I think you are very wise!

--
Jos De Roo, AGFA http://www.agfa.com/w3c/
Received on Friday, 17 August 2001 09:43:29 EDT

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