- From: R.V.Guha <guha@guha.com>
- Date: Thu, 23 May 2002 21:51:50 -0700
- To: pat hayes <phayes@ai.uwf.edu>
- CC: www-rdf-logic@w3.org
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