On Fri, 2002-11-22 at 14:42, Jeremy Carroll wrote: > Brian wrote: > >This point seems to be > > subtle enough to have misled DanC. > > I am sorry Dan, I've got another one. Indeed; no need to apologize; on the contrary, thanks for checking carefully. [...] > A proof of (with appropriate knowledge of datatypes). > > xsd:float rdfs:subClassOf xsd:double . [...] > QED. yes, I am convinced. > Moreover we see that > > xsd:int rdfs:subClassOf xsd:double . > > but not > > xsd:int rdfs:subClassOf xsd:float . > > by similar reading of the recommendation. I agree. > (I am sorry Brian, I know you hate this. I tend to side with Dan in > principle, but also wonder about why we should want to do this. > I am not sure anyone would implement this). > > Frankly worrying about these relationships is implicit in our charter. -- Dan Connolly, W3C http://www.w3.org/People/Connolly/Received on Friday, 22 November 2002 16:07:26 EST
This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:54:09 EDT