- From: <jos.deroo.jd@belgium.agfa.com>
- Date: Sun, 17 Jun 2001 11:31:00 +0100
- To: bwm@hplb.hpl.hp.com
- Cc: Jan.Grant@bristol.ac.uk, w3c-rdfcore-wg@w3.org
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