axioms for Thing and Nothing

• From: Richard H. McCullough <rhm@cdepot.net>
• Date: Sat, 31 May 2003 06:36:01 -0700
• 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>
• Message-ID: <002f01c32779$e5b471c0$bd7ba8c0@rhm8200>

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