- From: Graham Klyne <Graham.Klyne@Baltimore.com>
- Date: Sat, 16 Jun 2001 20:39:20 +0100
- To: jos.deroo.jd@belgium.agfa.com
- Cc: w3c-rdfcore-wg@w3.org
At 10:59 PM 6/15/01 +0100, jos.deroo.jd@belgium.agfa.com wrote:
>I think there are 3 kinds of variables
> [1] free variables
> [2] existentially quantified variables
> [3] universally quantified variables
>
>and I think the misunderstanding is that
>anonymous resources are (sometimes)
>'treated' as [1] whereas I think they
>should always be treated as [2].
Would I be right in thinking that:
[1] stands for exactly one, possibly unknown, value
[2] stands for one or more possible values
[3] stands for all possible values
?
#g
------------------------------------------------------------
Graham Klyne Baltimore Technologies
Strategic Research Content Security Group
<Graham.Klyne@Baltimore.com> <http://www.mimesweeper.com>
<http://www.baltimore.com>
------------------------------------------------------------
Received on Saturday, 16 June 2001 16:20:03 UTC