- 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>
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