W3C home > Mailing lists > Public > www-rdf-logic@w3.org > April 2001

Re: Infinite cardinalities

From: Dan Connolly <connolly@w3.org>
Date: Tue, 03 Apr 2001 14:45:29 -0500
Message-ID: <3ACA2859.A3DE31C0@w3.org>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:38 GMT