- From: Jeremy Carroll <jeremy@topquadrant.com>
- Date: Tue, 12 May 2009 15:01:41 -0700
- To: <public-owl-comments@w3.org>
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., TopQuadrant
Received on Tuesday, 12 May 2009 22:02:24 UTC