Re: log:forAll makes sense? [was: Can we agree on triples ?] from Graham Klyne on 2001-04-03 (www-rdf-logic@w3.org from April 2001)

From: Graham Klyne <GK@ninebynine.org>
Date: Tue, 03 Apr 2001 06:48:13 +0100
To: Dan Connolly <connolly@w3.org>
Cc: www-rdf-logic@w3.org
Message-Id: <5.0.2.1.2.20010403064705.036885b0@joy.songbird.com>

At 03:52 PM 4/2/01 -0500, Dan Connolly wrote:
>and the former is, say,
>
>         (log:forall '?a '(loves ?a mary))
>
>where log:forall is defined so that this expands to
>
>         (wtr '(forall (?a) (loves ?a mary)))

Er, what's "wtr" meant to stand for here?

#g
--


------------
Graham Klyne
GK@NineByNine.org

Received on Tuesday, 3 April 2001 06:42:04 UTC