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: Sat, 18 Aug 2001 02:22:17 +0100
To: jjc@hplb.hpl.hp.com
Cc: w3c-rdfcore-wg@w3.org
Message-Id: <OF5B27275C.103346A7-ON41256AAC.00064B9B@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.

oh sorry, that forAll should have been forSome

> and then there is a match found with
>   {_:x <b> <c>} log:forSome _:x.
> (i have to think about that, and try...)

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Saturday, 18 August 2001 05:21:36 EDT

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