In http://lists.w3.org/Archives/Public/public-owl-comments/2009Mar/0050.html you said [[ owl:real: The new numeric datatypes specific to OWL 2 have been added partly to support reasoning with n-ary datatypes. Unions of other datatypes are not adequate for this purpose. ]] And indeed it is still in the current WDs This is a forward compatibility hook, which is in general a bad idea. It breaks RDF conformance, since it is not a datatype (no lexical space, no lexical to value mapping). It is a fundamental change to OWL since it means that the size of the domain of discourse (including the literals) depends on the Continuum Hypothesis, and is certainly not countable. And the forward compatibility for which it is a hook has known issues that need addressing: http://www.hpl.hp.com/techreports/2007/HPL-2007-37.pdf TopQuadrant also intend to formally object to this feature Jeremy Carroll, AC Rep., TopQuadrantReceived on Tuesday, 12 May 2009 22:02:24 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 12 May 2009 22:02:26 GMT