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