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

Re: Denotation of datatype values

From: Patrick Stickler <patrick.stickler@nokia.com>
Date: Fri, 12 Apr 2002 09:53:38 +0300
To: ext Graham Klyne <Graham.Klyne@mimesweeper.com>, Jeremy Carroll <jjc@hplb.hpl.hp.com>
CC: RDF Core <w3c-rdfcore-wg@w3.org>
Message-ID: <B8DC5F22.12F57%patrick.stickler@nokia.com>
On 2002-04-11 18:53, "ext Graham Klyne" <Graham.Klyne@MIMEsweeper.com>

> At 12:22 PM 4/11/02 +0200, Jeremy Carroll wrote:
>> Now we add the range constraint on <age>
>> <Jane> <age> "25" .
>> <film> <title> "25" .
>> <title> <range> <xsd:string> .
>> <age> <range> <xsd:integer> .
>> We now have the film's title delivered as <xsd:string,"25"> the woman's age
>> delivered as <xsd:integer,"25"> and they are different.
>> Hence we see defeasible reasoning: in the light of new information we revise
>> our knowledge that Jane's age is <xsd:string,"25">, which in turn causes us
>> to revise our conclusion that Jane's age and the film's title are the same.
> My understanding of PatH's last proposal is that this graph is not
> satisfiable.  More precisely:
> [[[
> <Jane> <age> "25" .
> <age> <range> <xsd:integer> .
> ]]]
> is not satisfiable because "25" denotes a string and <xsd:integer> does not
> contain strings in its class extension.

This is true if <range> equates to rdfs:range. I presumed it
equated to rdfd:range, in which case, there is no problem.

It really will help, Jeremy, if you use the precise vocabulary
that we have come up with, especially if commenting on the current
WD, otherwise, we have no basis for mutual understanding. I know
that to some extent, you are trying not to beg the question by
keeping some terms somewhat ambiguous, but it makes it too hard
to know exactly what you mean. If you mean rdfs:range, please say so.
If you mean rdfd:range, again, just say so. etc. OK?



Patrick Stickler              Phone: +358 50 483 9453
Senior Research Scientist     Fax:   +358 7180 35409
Nokia Research Center         Email: patrick.stickler@nokia.com
Received on Friday, 12 April 2002 02:50:55 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:53:57 UTC