W3C home > Mailing lists > Public > www-rdf-logic@w3.org > May 2003

axioms for Thing and Nothing

From: Richard H. McCullough <rhm@cdepot.net>
Date: Sat, 31 May 2003 06:36:01 -0700
Message-ID: <002f01c32779$e5b471c0$bd7ba8c0@rhm8200>
To: "Guus Schreiber" <schreiber@cs.vu.nl>, "Hayes, Patrick J." <phayes@ai.uwf.edu>, "Patel-Schneider, Peter F." <pfps@research.bell-labs.com>
Cc: "www-rdf-logic at W3C" <www-rdf-logic@w3.org>, "Latimer, Richard S." <rslatimer@comcast.net>

This email reprises and restates my earlier comments
on OWL documents.

Paraphrasing http://rhm.cdepot.net/kb/tabrasa.html

Thing is Thing;
A isa Thing;  # any Thing
A is A;
A or not A is Thing;
A and not A is Nothing;

Nothing is not Nothing;  # contradiction
B is Nothing;  # any Nothing
B is not B;
B or not B is Nothing;
B and not B is Nothing;

Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;
Received on Saturday, 31 May 2003 09:38:15 UTC

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