W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > June 2001

Re: log:forSome (Was: Model-specific identity for anon resources, and its representation: A new issue?

From: Graham Klyne <Graham.Klyne@Baltimore.com>
Date: Sat, 16 Jun 2001 20:39:20 +0100
Message-Id: <5.0.2.1.2.20010616203737.0309c1e0@joy.songbird.com>
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 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:37:10 EDT