Re: DAML briefing to RDF IG

From: pat hayes (
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.


>	Mike

IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax

This archive was generated by hypermail 2.1.4 : 04/02/02 EST