ISSUE-80: Should we extend DTB to include more general builtins

Meta-Builtins

Should we extend DTB to include more general builtins

State:
CLOSED
Product:
DTB
Raised by:
Christopher Welty
Opened on:
2008-11-04
Description:
In http://www.w3.org/2005/rules/wiki/OWLRL DaveR listed several approaches to rules for builtins for OWL-2 datatypes. One approach is more brute-force, the other is more elegant but would require predicates for membership/non-membership and value equality/non-equality which spanned all literal datatypes. These would seem to both simplify the brute force rules and enable them to automatically support any additional datatypes supported by the consuming RIF implementation.

Should we support these more extensible "meta" builtins?
Related Actions Items:
No related actions
Related emails:
  1. [Admin] Regrets for today's telconf. (from axel.polleres@deri.org on 2009-03-31)
  2. [Admin] Agenda for RIF telecon 31 March (*ATTENTION:* back to usual time in Europe) (from csma@ilog.fr on 2009-03-27)
  3. [Admin] Agenda for RIF telecon 24 March (from csma@ilog.fr on 2009-03-23)
  4. Minute from March, 17th (from adrian.paschke@gmx.de on 2009-03-22)
  5. [Admin] Agenda for RIF telecon March 17 [*ATTENTION* time of telecon] (from csma@ilog.fr on 2009-03-16)
  6. Re: ISSUE-80: Meta builtins (from der@hplb.hpl.hp.com on 2009-03-16)
  7. Re: ISSUE-80: Meta builtins (from cawelty@gmail.com on 2009-03-13)
  8. Minutes of Mar 3 telecon (from kifer@cs.sunysb.edu on 2009-03-09)
  9. [Admin] Agenda for RIF telecon March 10 [*ATTENTION* time of telecon] (from csma@ilog.fr on 2009-03-09)
  10. Re: ISSUE-80: Meta builtins (from csma@ilog.fr on 2009-03-03)
  11. Re: ISSUE-80: Meta builtins (from debruijn@inf.unibz.it on 2009-03-02)
  12. [Admin] Agenda for RIF telecon March 3 (from csma@ilog.fr on 2009-03-02)
  13. Re: ISSUE-80: Meta builtins (from axel.polleres@deri.org on 2009-02-27)
  14. ISSUE-80: Meta builtins (from cawelty@gmail.com on 2009-02-27)
  15. [Admin] Agenda for RIF telecon February 24 (from csma@ilog.fr on 2009-02-23)
  16. [Admin] RIF telecon minutes, 10 Feb 2009 (from cleo@us.ibm.com on 2009-02-10)
  17. [Admin] Agenda for RIF telecon February 10 (from csma@ilog.fr on 2009-02-09)
  18. Minutes from Feb. 3rd (from paschke@inf.fu-berlin.de on 2009-02-06)
  19. [Admin] Agenda for RIF telecon 3 February (from csma@ilog.fr on 2009-02-02)
  20. [Admin] Agenda for RIF telecon 27 January (from csma@ilog.fr on 2009-01-26)
  21. Minutes of the Jan 2009 Telecon (from kifer@cs.sunysb.edu on 2009-01-06)
  22. [Admin] Agenda for RIF telecon 6 January (from csma@ilog.fr on 2009-01-05)
  23. [Admin] Agenda for RIF telecon 23 December (from csma@ilog.fr on 2008-12-22)
  24. [Admin] Agenda for RIF telecon December 16 (from csma@ilog.fr on 2008-12-15)
  25. [Admin] Agenda RIF telecon 9 December (from csma@ilog.fr on 2008-12-08)
  26. [Admin] Agenda for RIF telecon December 2 (from csma@ilog.fr on 2008-12-01)
  27. Draft minutes RIF Nov25 (from adrian.paschke@gmx.de on 2008-11-30)
  28. [Admin] Agenda for the RIF telecon November 25 (from csma@ilog.fr on 2008-11-24)
  29. [Admin] Agenda for RIF telecon 18 November (from csma@ilog.fr on 2008-11-17)
  30. planning for next telecon (from cawelty@gmail.com on 2008-11-12)
  31. [Admin] Agenda for RIF telecon 11 November (from csma@ilog.fr on 2008-11-10)
  32. ISSUE-80 (OWLRL-Builtins): Shoudl we extend DTB to include builtins& datatypes that will support OWL-RL [DTB] (from sysbot+tracker@w3.org on 2008-11-04)

Related notes:

A the Jan 6, 2009 telecon, the WG resolved to remove all type specific guards, e.g. isInteger and isNotInteger and replace them all with two argument predicates, isLiteralOfType(type,x) and isLiteralNotOfType(type,x). This closes the membership/nonmembership part of this issue, and leaves the equality/non-equality part open. See http://www.w3.org/2009/01/06-rif-irc#T16-52-45 (late pointer, scan upwards).

Christopher Welty, 6 Jan 2009, 17:00:19

At the 31-Mar-2009 telecon, the WG resolved to close this issue. We have added isLiteralOfType, isLiteralNotOfType, and literalNotIdentical as predicates with no domain restrictions to DTB.

See [http://www.w3.org/2009/03/31-rif-irc#T16-12-07]

Christopher Welty, 1 Apr 2009, 14:08:06

At the 13th F2F, the WG resolved to retract the resolution on isLiteralOfType, etc., and return to a collection of type-specific guards (one per type). Mainly this was done in order to avoid the problem of how to refer to datatype IRIs. See http://www.w3.org/2005/rules/wg/track/issues/93 and http://www.w3.org/2005/rules/wg/meeting/2009-04-16#resolution_5

Christopher Welty, 21 Apr 2009, 01:24:52

Display change log ATOM feed

Chair, Staff Contact
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: 80.html,v 1.1 2013-02-08 09:09:37 vivien Exp $