- From: pat hayes <phayes@ai.uwf.edu>
- Date: Fri, 27 Sep 2002 14:18:02 -0500
- 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 UTC