> http://www.w3.org/TR/2008/WD-owl2-syntax-20081008/ section 4 specifies that -0 < x for each positive real number x I believe this should be +0 Pat Hayes Sorry about the wrong reference in the preceding message. ------------------------------------------------------------ IHMC (850)434 8903 or (650)494 3973 40 South Alcaniz St. (850)202 4416 office Pensacola (850)202 4440 fax FL 32502 (850)291 0667 mobile phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayesReceived on Friday, 7 November 2008 18:43:53 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:41:57 GMT