ISSUE-126: The list of normative datatypes should be revisited

Revisit Datatypes

The list of normative datatypes should be revisited

State:
CLOSED
Product:
Raised by:
Boris Motik
Opened on:
2008-05-21
Description:
Hello,

I believe that the list of supported datatypes and facets requires revision. Ian and I have recently written a paper (currently under submission) in which we have analyzed the currently supported set of datatypes w.r.t. their suitability and implementability. The paper is available from my Web page:

http://www.comlab.ox.ac.uk/people/boris.motik/publications/mh08datatypes.pdf

Here is a summary of our discussion (please refer to the paper for more details):

- xsd:decimal is inappropriate for future extensions of OWL 2 because it is not closed under division.
- xsd:double and xsd:float and essentially large nominals and might be very hard to implement efficiently. (An efficient implementation might need to answer questions such as “how many floats are there between 1.0 and 2.0?” Implementing this might be really hard.)
- As Jeremy Carroll and Dave Turner have observed, arithmetic operations with xsd:double and xsd:float are not commutative, which is bad for a declarative language such as OWL 2.
- The date-time datatypes, such as xsd:gYear, might be really difficult to implement because they require representation of infinite sets of irregular intervals. Currently, it is not clear to us whether/how this can be done.
- Allowing the “pattern” facet on nonstring datatypes might be really difficult to implement. (Currently, one might need to answer questions such as “How many decimals are larger than 2.0 and match a particular regular expression?” It is unclear to us whether this can be implemented at all.)

In our paper, we have suggested possible remedies. Here is a summary:

- We should replace xsd:decimal, xsd:double, and xsd:float with a new datatype called owl:real. Clearly, we cannot represent all real numbers using constants (which are finite strings); however, we might devise a constant representation for all rationals.
- The only normative date-time datatype should be xsd:dateTime; all other datatypes should not be mentioned in the specification.
- Some other clarifications are necessary, such as whether xsd:anyURI is a subset of xsd:string or not.

Regards,

Boris
Related Actions Items:
No related actions
Related emails:
  1. Agenda TC 03/09/2008 (from hector.perez-urbina@comlab.ox.ac.uk on 2008-09-02)
  2. Agenda TC 27/08/2008 (from hector.perez-urbina@comlab.ox.ac.uk on 2008-08-26)
  3. Agenda TC 20/08/2008 (from hector.perez-urbina@comlab.ox.ac.uk on 2008-08-19)
  4. ACTION-177 (implement resolution of the datatypes issue, ISSUE-126) has been completed (from boris.motik@comlab.ox.ac.uk on 2008-08-19)
  5. Re: An approach to xsd:dateTime (from sattler@cs.man.ac.uk on 2008-07-24)
  6. RE: An approach to xsd:dateTime (from boris.motik@comlab.ox.ac.uk on 2008-07-24)
  7. Re: An approach to xsd:dateTime (from alanruttenberg@gmail.com on 2008-07-24)
  8. Re: Float and double in constants, but not descriptions (was Re: A summary of the proposal for a datatype system of OWL 2 (ISSUE-126)) (from alanruttenberg@gmail.com on 2008-07-24)
  9. Re: An approach to xsd:dateTime (from alanruttenberg@gmail.com on 2008-07-24)
  10. RE: An approach to xsd:dateTime (from boris.motik@comlab.ox.ac.uk on 2008-07-23)
  11. Re: An approach to xsd:dateTime (from msmith@clarkparsia.com on 2008-07-23)
  12. Float and double in constants, but not descriptions (was Re: A summary of the proposal for a datatype system of OWL 2 (ISSUE-126)) (from msmith@clarkparsia.com on 2008-07-23)
  13. A comment about I18N proposal by Axel Polleres (ISSUE-126 and ISSUE-71) (from boris.motik@comlab.ox.ac.uk on 2008-07-17)
  14. A summary of the proposal for a datatype system of OWL 2 (ISSUE-126) (from boris.motik@comlab.ox.ac.uk on 2008-07-16)
  15. Re: A possible structure of the datatype system for OWL 2 (related to ISSUE-126) (from rob.shearer@comlab.ox.ac.uk on 2008-07-10)
  16. Re: A possible structure of the datatype system for OWL 2 (related to ISSUE-126) (from msmith@clarkparsia.com on 2008-07-10)
  17. Re: A possible structure of the datatype system for OWL 2 (related to ISSUE-126) (from bparsia@cs.man.ac.uk on 2008-07-10)
  18. Re: A possible structure of the datatype system for OWL 2 (related to ISSUE-126) (from rob.shearer@comlab.ox.ac.uk on 2008-07-10)
  19. Re: A possible structure of the datatype system for OWL 2 (related to ISSUE-126) (from rob.shearer@comlab.ox.ac.uk on 2008-07-10)
  20. Re: A possible structure of the datatype system for OWL 2 (related to ISSUE-126) (from alanruttenberg@gmail.com on 2008-07-10)
  21. Re: A possible structure of the datatype system for OWL 2 (related to ISSUE-126) (from msmith@clarkparsia.com on 2008-07-10)
  22. Re: A possible structure of the datatype system for OWL 2 (related to ISSUE-126) (from alanruttenberg@gmail.com on 2008-07-10)
  23. Re: A possible structure of the datatype system for OWL 2 (related to ISSUE-126) (from rob.shearer@comlab.ox.ac.uk on 2008-07-10)
  24. Re: A possible structure of the datatype system for OWL 2 (related to ISSUE-126) (from rob.shearer@comlab.ox.ac.uk on 2008-07-10)
  25. Re: A possible structure of the datatype system for OWL 2 (related to ISSUE-126) (from rob.shearer@comlab.ox.ac.uk on 2008-07-10)
  26. Re: Proposal to close as withdrawn ISSUE-31 (from msmith@clarkparsia.com on 2008-07-09)
  27. Re: A possible structure of the datatype system for OWL 2 (related to ISSUE-126) (from alanruttenberg@gmail.com on 2008-07-09)
  28. RE: A possible structure of the datatype system for OWL 2 (related to ISSUE-126) (from boris.motik@comlab.ox.ac.uk on 2008-07-09)
  29. RE: A possible structure of the datatype system for OWL 2 (related to ISSUE-126) (from Michel_Dumontier@carleton.ca on 2008-07-09)
  30. Re: A possible structure of the datatype system for OWL 2 (related to ISSUE-126) (from alanruttenberg@gmail.com on 2008-07-09)
  31. Re: A possible structure of the datatype system for OWL 2 (related to ISSUE-126) (from alanruttenberg@gmail.com on 2008-07-09)
  32. Re: A possible structure of the datatype system for OWL 2 (related to ISSUE-126) (from rob.shearer@comlab.ox.ac.uk on 2008-07-09)
  33. Re: A possible structure of the datatype system for OWL 2 (related to ISSUE-126) (from rob.shearer@comlab.ox.ac.uk on 2008-07-09)
  34. Re: A possible structure of the datatype system for OWL 2 (related to ISSUE-126) (from alanruttenberg@gmail.com on 2008-07-09)
  35. Re: A possible structure of the datatype system for OWL 2 (related to ISSUE-126) (from ewallace@cme.nist.gov on 2008-07-09)
  36. Re: A possible structure of the datatype system for OWL 2 (related to ISSUE-126) (from alanruttenberg@gmail.com on 2008-07-09)
  37. Re: A possible structure of the datatype system for OWL 2 (related to ISSUE-126) (from msmith@clarkparsia.com on 2008-07-09)
  38. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from petexmldev@codalogic.com on 2008-07-09)
  39. RE: A possible structure of the datatype system for OWL 2 (related to ISSUE-126) (from boris.motik@comlab.ox.ac.uk on 2008-07-09)
  40. RE: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from mike@saxonica.com on 2008-07-09)
  41. RE: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from davep@iit.edu on 2008-07-08)
  42. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from rob.shearer@comlab.ox.ac.uk on 2008-07-08)
  43. RE: A possible structure of the datatype system for OWL 2 (related to ISSUE-126) (from Michel_Dumontier@carleton.ca on 2008-07-08)
  44. RE: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from mike@saxonica.com on 2008-07-08)
  45. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from bparsia@cs.man.ac.uk on 2008-07-08)
  46. A possible structure of the datatype system for OWL 2 (related to ISSUE-126) (from boris.motik@comlab.ox.ac.uk on 2008-07-08)
  47. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from rhm@PioneerCA.com on 2008-07-07)
  48. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from davep@iit.edu on 2008-07-07)
  49. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from rhm@PioneerCA.com on 2008-07-07)
  50. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from davep@iit.edu on 2008-07-07)
  51. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from paul@sparrow-hawk.org on 2008-07-07)
  52. ISSUE-87 proposal to resolve (from ian.horrocks@comlab.ox.ac.uk on 2008-07-07)
  53. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from bparsia@cs.man.ac.uk on 2008-07-07)
  54. RE: Where I am about floats, etc. - ISSUE-126 (from boris.motik@comlab.ox.ac.uk on 2008-07-07)
  55. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from bparsia@cs.man.ac.uk on 2008-07-07)
  56. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from bparsia@cs.man.ac.uk on 2008-07-06)
  57. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from rhm@PioneerCA.com on 2008-07-06)
  58. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from bparsia@cs.man.ac.uk on 2008-07-06)
  59. RE: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from davep@iit.edu on 2008-07-06)
  60. RE: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from mike@saxonica.com on 2008-07-06)
  61. RE: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from davep@iit.edu on 2008-07-05)
  62. RE: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from mike@saxonica.com on 2008-07-05)
  63. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from alanruttenberg@gmail.com on 2008-07-05)
  64. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from bparsia@cs.man.ac.uk on 2008-07-05)
  65. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from bparsia@cs.man.ac.uk on 2008-07-05)
  66. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from davep@iit.edu on 2008-07-05)
  67. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from bparsia@cs.man.ac.uk on 2008-07-04)
  68. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from alanruttenberg@gmail.com on 2008-07-04)
  69. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from bparsia@cs.man.ac.uk on 2008-07-04)
  70. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from bparsia@cs.man.ac.uk on 2008-07-04)
  71. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from bparsia@cs.man.ac.uk on 2008-07-04)
  72. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from bparsia@cs.man.ac.uk on 2008-07-04)
  73. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from bparsia@cs.man.ac.uk on 2008-07-04)
  74. RE: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from boris.motik@comlab.ox.ac.uk on 2008-07-04)
  75. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from alanruttenberg@gmail.com on 2008-07-04)
  76. RE: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from boris.motik@comlab.ox.ac.uk on 2008-07-04)
  77. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from alanruttenberg@gmail.com on 2008-07-04)
  78. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from alanruttenberg@gmail.com on 2008-07-04)
  79. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from bparsia@cs.man.ac.uk on 2008-07-04)
  80. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from bparsia@cs.man.ac.uk on 2008-07-04)
  81. RE: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from boris.motik@comlab.ox.ac.uk on 2008-07-04)
  82. Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from bparsia@cs.man.ac.uk on 2008-07-04)
  83. RE: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum (from boris.motik@comlab.ox.ac.uk on 2008-07-02)
  84. RE: ISSUE-126 (Revisit Datatypes): A proposal for resolution (from boris.motik@comlab.ox.ac.uk on 2008-07-01)
  85. Re: ISSUE-126 (Revisit Datatypes): A proposal for resolution (from alanruttenberg@gmail.com on 2008-07-01)
  86. Re: ISSUE-126 (Revisit Datatypes): A proposal for resolution (from bparsia@cs.man.ac.uk on 2008-07-01)
  87. RE: ISSUE-126 (Revisit Datatypes): A proposal for resolution (from boris.motik@comlab.ox.ac.uk on 2008-07-01)
  88. Re: ISSUE-126 (Revisit Datatypes): A proposal for resolution (from alanruttenberg@gmail.com on 2008-07-01)
  89. RE: ISSUE-126 (Revisit Datatypes): A proposal for resolution (from boris.motik@comlab.ox.ac.uk on 2008-07-01)
  90. Re: ISSUE-126 (Revisit Datatypes): A proposal for resolution (from alanruttenberg@gmail.com on 2008-07-01)
  91. Re: ISSUE-126 (Revisit Datatypes): A proposal for resolution (from alanruttenberg@gmail.com on 2008-07-01)
  92. Re: ISSUE-126 (Revisit Datatypes): A proposal for resolution (from alanruttenberg@gmail.com on 2008-07-01)
  93. RE: ISSUE-126 (Revisit Datatypes): A proposal for resolution (from msmith@clarkparsia.com on 2008-07-01)
  94. RE: ISSUE-126 (Revisit Datatypes): A proposal for resolution (from boris.motik@comlab.ox.ac.uk on 2008-07-01)
  95. Re: ISSUE-126 (Revisit Datatypes): A proposal for resolution (from alanruttenberg@gmail.com on 2008-07-01)
  96. Re: ISSUE-126 (Revisit Datatypes): A proposal for resolution (from msmith@clarkparsia.com on 2008-07-01)
  97. RE: ISSUE-126 (Revisit Datatypes): A proposal for resolution (from msmith@clarkparsia.com on 2008-07-01)
  98. RE: ISSUE-126 (Revisit Datatypes): A proposal for resolution (from boris.motik@comlab.ox.ac.uk on 2008-07-01)
  99. Re: ISSUE-126 (Revisit Datatypes): A proposal for resolution (from alanruttenberg@gmail.com on 2008-07-01)
  100. RE: ISSUE-126 (Revisit Datatypes): A proposal for resolution (from boris.motik@comlab.ox.ac.uk on 2008-07-01)
  101. RE: ISSUE-126 (Revisit Datatypes): A proposal for resolution (from boris.motik@comlab.ox.ac.uk on 2008-07-01)
  102. Re: ISSUE-126 (Revisit Datatypes): A proposal for resolution (from alanruttenberg@gmail.com on 2008-07-01)
  103. Re: ISSUE-126 (Revisit Datatypes): A proposal for resolution (from alanruttenberg@gmail.com on 2008-07-01)
  104. Re: ISSUE-126 (Revisit Datatypes): A proposal for resolution (from alanruttenberg@gmail.com on 2008-07-01)
  105. Re: ISSUE-126 (Revisit Datatypes): The list of normative datatypes should be revisited (from alanruttenberg@gmail.com on 2008-07-01)
  106. RE: ISSUE-126 (Revisit Datatypes): A proposal for resolution (from boris.motik@comlab.ox.ac.uk on 2008-07-01)
  107. Re: ISSUE-126 (Revisit Datatypes): A proposal for resolution (from msmith@clarkparsia.com on 2008-07-01)
  108. ISSUE-126 (Revisit Datatypes): A proposal for resolution (from boris.motik@comlab.ox.ac.uk on 2008-07-01)
  109. RE: ISSUE-126 (Revisit Datatypes): The list of normative datatypes should be revisited (from boris.motik@comlab.ox.ac.uk on 2008-07-01)
  110. Re: ISSUE-126 (Revisit Datatypes): The list of normative datatypes should be revisited (from alanruttenberg@gmail.com on 2008-07-01)
  111. Re: ISSUE-126 (Revisit Datatypes): The list of normative datatypes should be revisited (from alanruttenberg@gmail.com on 2008-06-29)
  112. Re: ISSUE-126 (Revisit Datatypes): The list of normative datatypes should be revisited (from alanruttenberg@gmail.com on 2008-06-19)
  113. Re: ISSUE-126 (Revisit Datatypes): The list of normative datatypes should be revisited (from ewallace@cme.nist.gov on 2008-06-19)
  114. RE: ISSUE-126 (Revisit Datatypes): The list of normative datatypes should be revisited (from msmith@clarkparsia.com on 2008-06-19)
  115. Re: ISSUE-126 (Revisit Datatypes): The list of normative datatypes should be revisited (from bparsia@cs.man.ac.uk on 2008-06-19)
  116. Re: ISSUE-126 (Revisit Datatypes): The list of normative datatypes should be revisited (from ivan@w3.org on 2008-06-19)
  117. Re: ISSUE-126 (Revisit Datatypes): The list of normative datatypes should be revisited (from alanruttenberg@gmail.com on 2008-06-19)
  118. RE: ISSUE-126 (Revisit Datatypes): The list of normative datatypes should be revisited (from boris.motik@comlab.ox.ac.uk on 2008-06-19)
  119. Re: ISSUE-126 (Revisit Datatypes): The list of normative datatypes should be revisited (from alanruttenberg@gmail.com on 2008-06-19)
  120. RE: ISSUE-126 (Revisit Datatypes): The list of normative datatypes should be revisited (from boris.motik@comlab.ox.ac.uk on 2008-06-18)
  121. ISSUE-126 (Revisit Datatypes): The list of normative datatypes should be revisited (from sysbot+tracker@w3.org on 2008-05-21)

Related notes:

Opened per discussion Ian/Alan June 3, 2008

Alan Ruttenberg, 5 Jun 2008, 04:55:50

Resolved: We'll handle the datatypes named in http://lists.w3.org/Archives/Public/public-owl-wg/2008Jul/0433.html as described in that message.
See: http://www.w3.org/2007/OWL/meeting/2008-07-29#Issue_126___3a___20_list_of_normative_datatype

Ian Horrocks, 29 Jul 2008, 18:22:33

Display change log ATOM feed

Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>, Chair, Sandro Hawke <sandro@w3.org>, Ivan Herman <ivan@w3.org>, Staff Contacts
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: index.php,v 1.287 2012/02/01 05:29:12 dom Exp $