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 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:34 UTC