Re: Existential Quantification [Re: New RDF model theory]

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