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:

Display change log