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

Re: A Model Theoretic Semantics for DAML-ONT

From: Dan Connolly <connolly@w3.org>
Date: Thu, 16 Nov 2000 11:39:26 -0600
Message-ID: <3A141BCE.E3C69E2A@w3.org>
To: pat hayes <phayes@ai.uwf.edu>
CC: www-rdf-logic@w3.org
pat hayes wrote:
> 
> Dan Connolly wrote:
> 
> >* How do we avoid Russel's paradox.
> >

[...]

> No, there is no such restriction in KIF, I believe as a matter of
> policy. That is, the KIF attitude is that if you make a paradoxical
> definition then you must be prepared to reap the resulting whirlwind,
> as it were. (Caveat Orator, maybe?)

Thanks for the elaborate answer; if I understand correctly,
a paraphrase of my question and your answer is:

	Q: Doctor, doctor! It hurts when I ...

	A: Well, then, don't do that.

> Hope this helps.

Yup.


-- 
Dan
Received on Thursday, 16 November 2000 12:39:30 UTC

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