Re: DAML briefing to RDF IG

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