ISSUE-81: Support for additional OWL-RL datatype

OWL2 Builtins

Support for additional OWL-RL datatype

State:
CLOSED
Product:
DTB
Raised by:
Christopher Welty
Opened on:
2008-11-04
Description:
Should the set of BLD builtins be augmented to include the Datatypes specified in the OWL-2 spec? See http://www.w3.org/2005/rules/wiki/OWLRL#Datatypes_supported

These include xsd:hexBinary, xsd:base64Binary, xsd:anyURI, owl:dateTime, owl:real, owl:rational, as well as datatypes whose more general types are already supported by BLD:

xsd:nonNegativeInteger
xsd:normalizedString (subtype of String)
xsd:token (subtype of String)
xsd:Name (subtype of String)
xsd:NCName (subtype of String)
xsd:NMTOKEN (subtype of String)
xsd:ID (dropped by OWL)
xsd:IDREF (dropped by OWL)
xsd:ENTITY (dropped by OWL)

Jos has posted an external comment to OWL-2 regarding the final three (resolved)


Adopting xsd:hexBinary, xsd:base64Binary, owl:real, and owl:rational may be problematic, because (a) OWL 2 does not interpret the xsd:hexBinary and xsd:base64Binary value spaces as being disjoint (as XML schema does) and (b) the owl:real is a super type of the float, double, and decimal datatypes and owl:rational contains a nonempty intersection of the float, double, and decimal datatypes, whereas in RIF the value spaces of these types are disjoint.
For reasons of compatibility we might adopt the OWL2 way of interpreting these datatypes, which is arguably also more intuitive to the user. However, implementation might be harder, especially for the numeric datatypes.
Another possibility would be to support these datatypes but with slightly different value spaces. This causes problems for RIF-OWL2 compatibility.
Related Actions Items:
No related actions
Related emails:
  1. [Admin] Agenda RIF teleon February 17 (from csma@ilog.fr on 2009-02-16)
  2. [Admin] RIF telecon minutes, 10 Feb 2009 (from cleo@us.ibm.com on 2009-02-10)
  3. [Admin] Agenda for RIF telecon February 10 (from csma@ilog.fr on 2009-02-09)
  4. Minutes from Feb. 3rd (from paschke@inf.fu-berlin.de on 2009-02-06)
  5. [Admin] Agenda for RIF telecon 3 February (from csma@ilog.fr on 2009-02-02)
  6. [ADMIN] Minutes of 20 January 2009 telecon (from leora@us.ibm.com on 2009-01-27)
  7. [Admin] Agenda for RIF telecon 27 January (from csma@ilog.fr on 2009-01-26)
  8. Implications of integer/float non-disjointness (from der@hplb.hpl.hp.com on 2009-01-08)
  9. Minutes of the Jan 2009 Telecon (from kifer@cs.sunysb.edu on 2009-01-06)
  10. [Admin] Agenda for RIF telecon 6 January (from csma@ilog.fr on 2009-01-05)
  11. [Admin] Agenda for RIF telecon 23 December (from csma@ilog.fr on 2008-12-22)
  12. [Admin] Agenda for RIF telecon December 16 (from csma@ilog.fr on 2008-12-15)
  13. [Admin] Agenda RIF telecon 9 December (from csma@ilog.fr on 2008-12-08)
  14. [Admin] Agenda for RIF telecon December 2 (from csma@ilog.fr on 2008-12-01)
  15. [Admin] Agenda for the RIF telecon November 25 (from csma@ilog.fr on 2008-11-24)
  16. [Admin] Agenda for RIF telecon 18 November (from csma@ilog.fr on 2008-11-17)
  17. planning for next telecon (from cawelty@gmail.com on 2008-11-12)
  18. [Admin] Agenda for RIF telecon 11 November (from csma@ilog.fr on 2008-11-10)
  19. ISSUE-81 (OWL2 Builtins): Support for additional OWL-RL builtins [DTB] (from sysbot+tracker@w3.org on 2008-11-04)

Related notes:

Supported by RIF and not OWL:
durations (needs to be updated)

Christopher Welty, 23 Dec 2008, 17:22:23

At the 13th F2F, the WG resolved to close this issue, supporting all XSD Datatypes supported by OWL, but excluding the owl: specific types (real, realPlus, rational).

See http://www.w3.org/2005/rules/wg/meeting/2009-04-15#resolution_4

Christopher Welty, 21 Apr 2009, 01:21:35

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: 81.html,v 1.1 2013-02-08 09:09:37 vivien Exp $