W3C home > Mailing lists > Public > www-webont-wg@w3.org > September 2002

Re: semantics layering document revision.

From: pat hayes <phayes@ai.uwf.edu>
Date: Fri, 27 Sep 2002 14:18:02 -0500
Message-Id: <p05111b05b9ba5c9e24de@[65.217.30.172]>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: www-webont-wg@w3.org 

[Sorry this reply was delayed: my mailer was hiding all my email.]

[snip]
>
>Just because the extension of owl:Nothing is finite does not make it an OWL
>class.

Right. We should require

owl:Nothing rdf:type owl:Class.
owl:Thing rdf:type owl:Class .

I will add those.

Pat
-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola              			(850)202 4440   fax
FL 32501           				(850)291 0667    cell
phayes@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
Received on Friday, 27 September 2002 15:17:48 GMT

This archive was generated by hypermail 2.2.0 + w3c-0.29 : Thursday, 27 January 2005 18:04:54 GMT