- 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