- From: Sandro Hawke <sandro@w3.org>
- Date: Thu, 12 Feb 2009 17:18:14 -0500
- To: Alan Ruttenberg <alanruttenberg@gmail.com>
- cc: W3C OWL Working Group <public-owl-wg@w3.org>
> This is one question that came up with my discussion with Jos this
> morning (more details to follow).
>
> So suppose I have the entailment test:
>
> {1.0^decimal, 1.000000000000000001^decimal} < {1.0^float}
>
> in an implementation that only supports 16 digit decimal literals.
>
> What happens?
Sorry, I can't parse your question. What are the braces and the
1.0^decimal (supposed to be "1.0"^^decimal, I assume) there for?
And can you change 16 to 8 in your question, so I don't have to count
all those zeros?
-- Sandro
Received on Thursday, 12 February 2009 22:18:23 UTC