ISSUE-93: Should datatype IRIs map to the datatypes themselves

Datatype IRIs

Should datatype IRIs map to the datatypes themselves

State:
CLOSED
Product:
BLD
Raised by:
Christopher Welty
Opened on:
2009-02-17
Description:
During the addition of the "general guards", Jos observed that a rif:iri constant should denote an actual datatype, so one can speak about actual datatypes when speaking about the types of literals.

He suggested:

It would have been best if in BLD semantic structures the IRIs
of datatypes are mapped to the corresponding datatypes, e.g., xsd:string
is mapped to the XML schema string datatype. One could then, in DTB,
speak only about values and datatypes, which will be much more
convenient and much more elegant.

I propose to extend the definition of semantic structure [1] by adding
the following conditions to point 1 of the definition:
- If a constant c \in Const is an IRI constant "d"^^rif:iri and d is a
datatype identifier, i.e., d \in DTS, then I_C(d) is the datatype [2]
identified by d.

Thinking again about this, we might get away with this change without
redoing last call. The only real implication it has is that equality
statements of the form

xsd:integer=xsd:string

are currently not inconsistent, but with the proposed change they do
become inconsistent.
But we anyway don't want people to write this kind of statement; in
fact, people should not use datatype identifiers outside of constants
and isLiteralOfType/isLiteralNotOfType statements.

See the thread starting here: http://lists.w3.org/Archives/Public/public-rif-wg/2009Feb/0004.html


[1] http://www.w3.org/2005/rules/wiki/BLD#Semantic_Structures
Related Actions Items:
No related actions
Related emails:
  1. [Admin] draft minutes of 7 April 2009 telecon (from mdean@bbn.com on 2009-04-20)
  2. Re: DTB frozen and last changes (from axel.polleres@deri.org on 2009-04-14)
  3. Re: meaning of rif:External (was Re: Diatribe on why rif:iri consts should be left alone) (from debruijn@inf.unibz.it on 2009-04-12)
  4. Re: meaning of rif:External (was Re: Diatribe on why rif:iri consts should be left alone) (from kifer@cs.sunysb.edu on 2009-04-11)
  5. Re: meaning of rif:External (was Re: Diatribe on why rif:iri consts should be left alone) (from der@hplb.hpl.hp.com on 2009-04-11)
  6. Re: DTB frozen and last changes (from axel.polleres@deri.org on 2009-04-10)
  7. Re: meaning of rif:External (was Re: Diatribe on why rif:iri consts should be left alone) (from kifer@cs.sunysb.edu on 2009-04-10)
  8. Re: meaning of rif:External (was Re: Diatribe on why rif:iri consts should be left alone) (from sandro@w3.org on 2009-04-10)
  9. Re: meaning of rif:External (was Re: Diatribe on why rif:iri consts should be left alone) (from kifer@cs.sunysb.edu on 2009-04-10)
  10. Re: meaning of rif:External (was Re: Diatribe on why rif:iri consts should be left alone) (from debruijn@inf.unibz.it on 2009-04-10)
  11. meaning of rif:External (was Re: Diatribe on why rif:iri consts should be left alone) (from sandro@w3.org on 2009-04-10)
  12. Re: DTB frozen and last changes (from debruijn@inf.unibz.it on 2009-04-10)
  13. Re: DTB frozen and last changes (from axel.polleres@deri.org on 2009-04-10)
  14. DTB frozen and last changes (from axel.polleres@deri.org on 2009-04-10)
  15. [Admin] Agenda for RIF telecon 7 April (from cawelty@gmail.com on 2009-04-06)
  16. Re: F2F13 agenda (from kifer@cs.sunysb.edu on 2009-03-31)
  17. [Admin] Regrets for today's telconf. (from axel.polleres@deri.org on 2009-03-31)
  18. [Admin] Agenda for RIF telecon 31 March (*ATTENTION:* back to usual time in Europe) (from csma@ilog.fr on 2009-03-27)
  19. [Admin] Agenda for RIF telecon March 10 [*ATTENTION* time of telecon] (from csma@ilog.fr on 2009-03-09)
  20. [Admin] Agenda for RIF telecon March 3 (from csma@ilog.fr on 2009-03-02)
  21. ISSUE-93: datatype IRI mapping (from cawelty@gmail.com on 2009-02-27)
  22. [Admin] Agenda for RIF telecon February 24 (from csma@ilog.fr on 2009-02-23)
  23. ISSUE-93 (Datatype IRIs): Should datatype IRIs map to the datatypes themselves [BLD] (from sysbot+tracker@w3.org on 2009-02-17)

Related notes:

At F2F13 in MIT, the WG resolved to drop the isLiteralOfType predicates that require a datatype IRI as an argument, making this issue a moot point.

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

Christopher Welty, 16 Apr 2009, 19:17:43

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