(continutation of n-ary datatype issue) owl:real

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