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

Re: Denotation of datatype values

From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
Date: Thu, 11 Apr 2002 16:53:40 +0100
Message-Id: <5.1.0.14.2.20020411165111.04114ec0@joy.songbird.com>
To: "Jeremy Carroll" <jjc@hplb.hpl.hp.com>
Cc: <w3c-rdfcore-wg@w3.org>
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.

[BTW, I tried to find PatH's document for datatyping with tidy literals, 
but it seems to have disappeared from the web ;-( ]

...

I broadly agree with the thrust of the rest of your message, as I 
understand it.

#g


-------------------
Graham Klyne
<GK@NineByNine.org>
Received on Thursday, 11 April 2002 12:12:38 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:47:25 EDT