- From: Dan Connolly <connolly@w3.org>
- Date: Tue, 03 Apr 2001 14:45:29 -0500
- To: pat hayes <phayes@ai.uwf.edu>
- CC: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, kenb@ccs.neu.edu, www-rdf-logic@w3.org
pat hayes wrote: [...] > >Would you please elaborate on that? > > Chris Menzel and I are writing this up now. Draft available in a few days. > > >Are you just saying that the earlier KIF specs goofed, > >or are you saying that there's no way, in first order logic, > >to specify the set of finite lists? > > The latter. [...] Thanks. I don't understand after a quick read, but I'll keep chewing on it... -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Tuesday, 3 April 2001 15:45:59 UTC