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

> > >   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
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes

Received on Monday, 16 October 2000 11:45:22 UTC