- From: Jeremy Carroll <jjc@hpl.hp.com>
- Date: Mon, 17 Nov 2003 06:38:40 +0100
- To: www-rdf-logic@w3.org
> We found so
> i.e. your given statement is an inconsistency we think
> at least we found so using
> {{?I => {?X a owl:Nothing}} = ?I} => {?I log:inconsistentWith owl:}.
> and so anything follows
but then in particular we have
?I => {?X a owl:Nothing}
and so ?I holds, and we have a proof !?
(This is intended to encode the liar's paradox, the `=' though is interesting)
Jeremy
Received on Monday, 17 November 2003 00:40:39 UTC