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

RE: Infinite cardinalities

From: Miles Sabin <MSabin@interx.com>
Date: Tue, 3 Apr 2001 07:41:05 +0100
Message-ID: <69B15B675E99D411A4110008C786DA230136BA8D@exwest_01.interx.com>
To: www-rdf-logic@w3.org
Richard Fikes wrote,
> pat hayes wrote,
> > If KIF is taken to be a strict first-order language then 
> > there is no way to guarantee, on semantic grounds, that all 
> > lists are finite. The 'definition' of lists (also called 
> > 'sequences) in the extant KIF literature is a little vague 
> > on just this issue.
>
> Chapter 8 of the "draft proposed American National Standard 
> (dpANS)" of KIF (at http://logic.stanford.edu/kif/dpans.html) 
> says that a list is a finite sequence of objects.

Perhaps, but this can't be expressed in first order PC.

Cheers,


Miles

-- 
Miles Sabin                               InterX
Internet Systems Architect                5/6 Glenthorne Mews
+44 (0)20 8817 4030                       London, W6 0LJ, England
msabin@interx.com                         http://www.interx.com/
Received on Tuesday, 3 April 2001 02:41:48 GMT

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