Re: rdf inclusion

pat hayes wrote:

> What does that mean? CYCL is a notational variety of FOL, right? In 
> what way is that 'extensible' ? It doesn't enable one to extend the 
> model theory.
>
> Pat

Come on Pat. You know better! CycL is way more than that ... Its the 
kitchen sink of a large scale cafeteria plus
many other things thrown into it, discussion of which is probably 
neither apropos for this mailing list or for polite company ;-)

guha

Received on Friday, 24 May 2002 00:52:09 UTC