W3C home > Mailing lists > Public > www-rdf-logic@w3.org > April 2001

Re: log:forAll makes sense? [was: Can we agree on triples ?]

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

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:38 GMT