W3C home > Mailing lists > Public > www-rdf-logic@w3.org > October 2000

Re: comparing DAML-ONT and OIL (was Re: semantics of daml)

From: pat hayes <phayes@ai.uwf.edu>
Date: Mon, 16 Oct 2000 10:48:19 -0500
Message-Id: <v04210102b610d2960abb@[]>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: www-rdf-logic@w3.org
> > >   Individuals                   yes                     yes
> >
> > I'm not sure I understand what Individuals are; cf
> > "universe of discourse" above.
>Individuals are, well, individuals.  Things like Joe and Mary and a rock.

Quine: "To be, is to be the value of a bound variable". Individuals 
are whatever the (explicit or implicit) quantifiers range over. 
Exactly WHAT they are in some  metaphysical sense is a question that 
one should studiously not go into. Its like a car salesman asking a 
customer where she drives: it's none of our business.

Pat Hayes

IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
Received on Monday, 16 October 2000 11:45:22 UTC

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