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