- 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