W3C home > Mailing lists > Public > public-owl-dev@w3.org > October to December 2008

typo in OWL 2 semantics

From: Pat Hayes <phayes@ihmc.us>
Date: Fri, 7 Nov 2008 12:41:18 -0600
Message-Id: <CE65ED0B-B4A0-4357-AF87-966C183E35D5@ihmc.us>
To: public-owl-dev@w3.org
>  http://www.w3.org/TR/owl2-semantics/

section 4 specifies that

-0 < x for each positive real number x

I believe this should be +0

Pat Hayes

------------------------------------------------------------
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/phayes
Received on Friday, 7 November 2008 18:42:03 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:56 GMT