typo in OWL 2 semantics

>  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