From: pat hayes ([email protected])
Date: 02/27/01
>A draft of my briefing (scheduled for Monday at 1145-1230
>EST) to the RDF Interest Group [1] is now available [2].
>I'd particularly appreciate any quick feedback on my new
>language feature matrix [3].
The first/rest idea originated with LISP but is widely used; LISP is
considered oldfashioned in many quarters, so it might be better
politically not to say "LISP-like" explicitly(?)
Don't say that we will 'support higher-order logic'. It is provably
impossible to support higher-order logic: the set of valid sentences
in HOL is not R.E. We will be very lucky to support all of
first-order logic.
Pat
>Thanks!
>
> Mike
>
>[1] http://www.w3.org/2001/02/rdfig-f2f/
>
>[2] http://www.daml.org/2001/02/rdfig-f2f/Overview.html
>
>[3] http://www.daml.org/language/features.html
---------------------------------------------------------------------
IHMC (850)434 8903 home
40 South Alcaniz St. (850)202 4416 office
Pensacola, FL 32501 (850)202 4440 fax
[email protected]
http://www.coginst.uwf.edu/~phayes
This archive was generated by hypermail 2.1.4 : 04/02/02 EST