ISSUE-5: WITDRAWN: Doubts about n-ary datatypes

n-ary datatypes

WITDRAWN: Doubts about n-ary datatypes

State:
CLOSED
Product:
Raised by:
Bijan Parsia
Opened on:
2007-10-24
Description:
From: http://code.google.com/p/owl1-1/issues/detail?id=12

Reported by bparsia, Mar 29, 2007

See:
http://lists.w3.org/Archives/Public/public-owl-dev/2007JanMar/0162.html

Brief summary (even if you dump datatype groups, which were not intended to be part of OWL 1.1; this should be clarified): N-ary datatypes seem both fragile and wrongly expressive (as compared, e.g., to dl-safe rules with built-ins). The key example is unit conversions.

Comment 1 by bparsia, Mar 29, 2007

Also, there are no built-in n-ary datatypes, nor a language for defining them. E.g., see:
http://lists.w3.org/Archives/Public/public-owl-dev/2007JanMar/0104.html
Related Actions Items:
No related actions
Related emails:
  1. Re: Doubts about the proposal to resolve ISSUE-5 [WAS: Teleconference.2008.07.09/Agenda] (from bparsia@cs.man.ac.uk on 2008-07-10)
  2. Re: Doubts about the proposal to resolve ISSUE-5 [WAS: Teleconference.2008.07.09/Agenda] (from ian.horrocks@comlab.ox.ac.uk on 2008-07-10)
  3. Re: Doubts about the proposal to resolve ISSUE-5 [WAS: Teleconference.2008.07.09/Agenda] (from bparsia@cs.man.ac.uk on 2008-07-09)
  4. Re: Doubts about the proposal to resolve ISSUE-5 [WAS: Teleconference.2008.07.09/Agenda] (from alanruttenberg@gmail.com on 2008-07-09)
  5. Re: Doubts about the proposal to resolve ISSUE-5 [WAS: Teleconference.2008.07.09/Agenda] (from bparsia@cs.man.ac.uk on 2008-07-08)
  6. RE: Doubts about the proposal to resolve ISSUE-5 [WAS: Teleconference.2008.07.09/Agenda] (from schneid@fzi.de on 2008-07-08)
  7. Re: Doubts about the proposal to resolve ISSUE-5 [WAS: Teleconference.2008.07.09/Agenda] (from bparsia@cs.man.ac.uk on 2008-07-08)
  8. Doubts about the proposal to resolve ISSUE-5 [WAS: Teleconference.2008.07.09/Agenda] (from schneid@fzi.de on 2008-07-08)
  9. Re: ISSUE-53 Proposal to resolve (from alanruttenberg@gmail.com on 2008-07-08)
  10. Re: ISSUE-53 Proposal to resolve (from ian.horrocks@comlab.ox.ac.uk on 2008-07-07)
  11. Re: ISSUE-53 Proposal to resolve (from bparsia@cs.man.ac.uk on 2008-07-02)
  12. Re: ISSUE-53 Proposal to resolve (from alanruttenberg@gmail.com on 2008-07-02)
  13. Re: ISSUE-53 Proposal to resolve (from ewallace@cme.nist.gov on 2008-07-02)
  14. Re: ISSUE-53 Proposal to resolve (from bparsia@cs.man.ac.uk on 2008-07-02)
  15. Re: ISSUE-53 Proposal to resolve (from ewallace@cme.nist.gov on 2008-07-02)
  16. Re: ISSUE-53 Proposal to resolve (from alanruttenberg@gmail.com on 2008-07-02)
  17. ISSUE-53 Proposal to resolve (from ian.horrocks@comlab.ox.ac.uk on 2008-07-02)
  18. proposal to close ISSUE-127 (narynotyet) (from pfps@research.bell-labs.com on 2008-06-04)
  19. ISSUE-105 (meta/data): Meta Issue to track other issues related to datatypes (from sysbot+tracker@w3.org on 2008-03-23)
  20. Re: ISSUE-5: n-ary datatypes - use cases ISSUE-53 (from alanruttenberg@gmail.com on 2007-11-19)
  21. RE: ISSUE-5: n-ary datatypes - use cases ISSUE-53 (from VKASHYAP1@PARTNERS.ORG on 2007-11-19)
  22. RE: ISSUE-5: n-ary datatypes - use cases ISSUE-53 (from VKASHYAP1@PARTNERS.ORG on 2007-11-19)
  23. Re: ISSUE-5: n-ary datatypes - use cases ISSUE-53 (from jjc@hpl.hp.com on 2007-11-19)
  24. Re: ISSUE-5: n-ary datatypes - use cases ISSUE-53 (from alanruttenberg@gmail.com on 2007-11-18)
  25. Re: ISSUE-5: n-ary datatypes - decidability on merging (from jjc@hpl.hp.com on 2007-11-13)
  26. Re: ISSUE-5: n-ary datatypes - decidability on merging (from clu@tcs.inf.tu-dresden.de on 2007-11-13)
  27. Re: ISSUE-5: n-ary datatypes - decidability on merging (from jjc@hpl.hp.com on 2007-11-13)
  28. Re: ISSUE-5: n-ary datatypes - decidability on merging (from clu@tcs.inf.tu-dresden.de on 2007-11-13)
  29. ISSUE-5: n-ary datatypes - real vs XSD (from jjc@hpl.hp.com on 2007-11-13)
  30. Re: ISSUE-5: n-ary datatypes - decidability on merging (from jjc@hpl.hp.com on 2007-11-13)
  31. Re: ISSUE-5: n-ary datatypes - decidability on merging (from alanruttenberg@gmail.com on 2007-11-13)
  32. ISSUE-5: n-ary datatypes - rounding errors (from jjc@hpl.hp.com on 2007-11-13)
  33. Re: ISSUE-5: n-ary datatypes - decidability on merging (from jjc@hpl.hp.com on 2007-11-13)
  34. Re: ISSUE-5: n-ary datatypes - decidability on merging (from alanruttenberg@gmail.com on 2007-11-12)
  35. Re: ISSUE-5: n-ary datatypes - unimplemented incomplete design (from jjc@hpl.hp.com on 2007-11-12)
  36. Re: ISSUE-5: n-ary datatypes - unimplemented incomplete design (from clu@tcs.inf.tu-dresden.de on 2007-11-12)
  37. Re: ISSUE-5: n-ary datatypes - unimplemented incomplete design (from jjc@hpl.hp.com on 2007-11-12)
  38. Re: ISSUE-5: n-ary datatypes - unimplemented incomplete design (from clu@tcs.inf.tu-dresden.de on 2007-11-12)
  39. ISSUE-5: n-ary datatypes - lots of choice, no guidance (from jjc@hpl.hp.com on 2007-11-12)
  40. ISSUE-5: n-ary datatypes - decidability on merging (from jjc@hpl.hp.com on 2007-11-12)
  41. ISSUE-5: n-ary datatypes -decidability - datatype group? (from jjc@hpl.hp.com on 2007-11-12)
  42. ISSUE-5: n-ary datatypes - unimplemented incomplete design (from jjc@hpl.hp.com on 2007-11-12)
  43. ISSUE-5: n-ary datatypes - use cases ISSUE-53 (from jjc@hpl.hp.com on 2007-11-12)
  44. ISSUE-5: n-ary datatypes - use cases - preferred design (from jjc@hpl.hp.com on 2007-11-12)
  45. ISSUE-5: n-ary datatypes (from jjc@hpl.hp.com on 2007-11-12)
  46. ISSUE-5: REPORTED: Doubts about n-ary datatypes (from clu@tcs.inf.tu-dresden.de on 2007-11-09)
  47. ISSUE-5: REPORTED: Doubts about n-ary datatypes (from clu@tcs.inf.tu-dresden.de on 2007-11-09)
  48. Re: Agenda requests: Issues we can decide? (from jjc@hpl.hp.com on 2007-11-06)
  49. Re: Agenda requests: Issues we can decide? (from bparsia@cs.man.ac.uk on 2007-11-06)
  50. N-ary data predicates (see ISSUE-5) (from bparsia@cs.man.ac.uk on 2007-11-05)
  51. ISSUE-5: REPORTED: Doubts about n-ary datatypes (from sysbot+tracker@w3.org on 2007-10-24)

Related notes:

See also Issue 53

Ian Horrocks, 15 Nov 2007, 03:53:37

see thread http://www.w3.org/mid/47591FBA.6020903@hpl.hp.com re: Racer restrictions on datatype combinations.

Alan Ruttenberg, 8 Dec 2007, 05:19:52

Closed as Withdrawn: see http://www.w3.org/2007/OWL/meeting/2008-07-09#ISSUE__2d_5

Ian Horrocks, 11 Jul 2008, 16:04:41

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 $