W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > April 2002

RE: RDF Datatyping Working Draft

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Thu, 4 Apr 2002 12:36:05 +0100
To: "Patrick Stickler" <patrick.stickler@nokia.com>, "Pat Hayes" <phayes@ai.uwf.edu>
Cc: "RDF Core" <w3c-rdfcore-wg@w3.org>
Message-ID: <JAEBJCLMIFLKLOJGMELDCEJHCDAA.jjc@hplb.hpl.hp.com>


if I have understood your comments about datatype interpretation correctly
then I believe that:


<ex:age> <rdfd:range> <xsd:integer> .
<Jane> <ex:age> "25" .

datatype entails

<Jane> <ex:age> _:b .
_:b <xsd:integer> "25" .


something that Pat seemed to shy away from saying in section 5.

This continues to worry me because then in something like webont or DAML we
can't say that ex:age has a unique value, because <Jane> has two really
different ages: 25 the integer (i.e. the same age as <John> and <Judy>) and
"25" the string (i.e the same as the <bar> of <foo>).

The positive suggestions I intend to list as alternatives for escaping the
problems I see are:
- don't do datatyping
- drop tidy literals and don't have any model theory for datatyping
- drop tidy literals and don't support the datateype property idiom (aka
- don't support the inline idiom (aka S-B)
- drop tidy literals and buy Pat's sophistry
These two forms - the single triple with a literal as object, and the
similar triple with a bnode as object, together with a lexical form triple
linking the bnode to the literal - are identical in meaning and can be
substituted freely for one another.


I strongly prefer the last of these, and remain convinced that the costs of
the current proposal in terms of loss of monotonicity or loss of mono-valued
functions is unacceptable.

Please remember the process no longer requires my points to be addressed
(unless at the director's insistence). It is, IMO, more important to produce
a document for the community to see than to address my concerns.


(complete kb:)
> <John> <ex:age> _:x .
> _:x <xsd:integer> "25" .
> <Judy> <ex:age> _:y .
> _:y <rdfd:lex> "25" .
> <ex:age> <rdfd:range> <xsd:integer> .
> <Jane> <ex:age> "25" .
> <foo> <bar> "25" .
> <bar>  <rdfd:range> <xsd:string> .
Received on Thursday, 4 April 2002 06:39:45 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:11 UTC