- 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