W3C home > Mailing lists > Public > public-owl-comments@w3.org > May 2009

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

From: Jeremy Carroll <jeremy@topquadrant.com>
Date: Tue, 12 May 2009 15:01:41 -0700
To: <public-owl-comments@w3.org>
Message-ID: <002e01c9d34d$3b609e20$b221da60$@com>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 12 May 2009 22:02:26 GMT