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.
>and then there is a match found with
>  {_:x <b> <c>} log:forSome _:x.
>(i have to think about that, and try...)

That seems right to me. The log:forAll on the RHS tells the reasoner 
it is free to substitute anything for the variable, right?

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

Amen.

Pat

---------------------------------------------------------------------
(650)859 6569 w
(650)494 3973 h (until September)
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes

Received on Monday, 27 August 2001 15:13:42 UTC