RE: Input sought on datatyping tradeoff

Just want to add my concurrence to Jonathan's points. Even though A is
comparing two strings, and D is comparing a string that can be inferred to
be the string representation of an integer, with an integer; both Test A and
Test D must be true at the 'semantic' level. 

- Lewis

Lewis L Hart 
Chief Scientist - Intelligent Agent Systems
------------------------------------------
AT&T Government Solutions lewishart@att.com
1900 Gallows Rd.       Voice (703) 506-5938
Vienna, Va 22182         Fax (703) 556-4261



> -----Original Message-----
> From: Jonathan Borden [mailto:jonathan@openhealth.org]
> Sent: Friday, July 12, 2002 8:54 AM
> To: www-rdf-logic@w3.org; Brian McBride
> Cc: www-rdf-comments@w3.org; patrick hayes
> Subject: Re: Input sought on datatyping tradeoff
> 
> 
> 
> Brian McBride wrote:
> 
> >
> > CONCLUSION
> > ==========
> >
> > To end then, please send a message to 
> www-rdf-comments@w3.org (by 26 July
> > 2002) indicating whether you believe its more important to 
> have the answer
> > to test cases A be yes, or test case D be yes:
> >
> >    Test A:
> >
> >    <Jenny> <ageInYears> "10" .
> >    <John>  <ageInYears> "10" .
> 
> => true (absolutely)
> 
> otherwise you fail the "duh!" test.
> 
> i'd like to say (functionally)
> 
> eq( ageInYears(Jenny) , ageInYears(John) )
> 
> >
> > Test D:
> >
> >    <Jenny>      <ageInYears> "10" .
> >    <ageInYears> <rdfs:range> <xsdr:decimal> .
> >
> >    <John>  <ageInYears>      _:a .
> >    _:a     <xsdr:decimal>   "10" .
> >
> >
> 
> => true (qualified)
> 
> i'd say:
> 
> value-equal( ageInYears(Jenny), ageInYears(John) )
> 
> 
> Jonathan
>

Received on Friday, 12 July 2002 09:37:35 UTC