From: pat hayes (phayes@ai.uwf.edu)
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 phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes
This archive was generated by hypermail 2.1.4 : 04/02/02 EST