Re: nature of anon resource [was Re: log:forSome]

Hi Brian,

you wrote:
> jos.deroo.jd@belgium.agfa.com wrote:
>
> > > Can you give examples of the difference?
> >
> > the testresult
> > //////
> > _:a <uriref1> <uriref2>.
> > \\\\\\
> >
> > is different from the testresult
> > //////
> > <uri-of-this-document> <the-log-forSome-uri> _:a.
> > _:a <uriref1> <uriref2>.
> > \\\\\\
> >
> > in the former one _:a is a free variable
>
> What if we just say they are existentially qualified.

OK, that's also what I actually started to do
last friday when I wrote
  I have recently experimented with
  implicit scoping, but I think this is
                  ^of existentially quantified variables
  not a scalable approach.
but maybe I gave up to early...
You see, it's a bit like declaring variables
in programs (local scoping, lexical scoping,...)
I will further investigate this, and come back to you

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Sunday, 17 June 2001 05:33:32 UTC