W3C home > Mailing lists > Public > www-archive@w3.org > July 2002

Re: datatypes

From: Aaron Swartz <me@aaronsw.com>
Date: Fri, 19 Jul 2002 00:19:16 -0500
Cc: www-archive@w3.org
To: "Sean B. Palmer" <sean@mysterylights.com>
Message-Id: <11C0C1F3-9AD7-11D6-B6DA-0003936780B2@aaronsw.com>

On Thursday, July 18, 2002, at 06:01  PM, Sean B. Palmer wrote:
>> I'd say that test D won't work in CWMclone because it has the
>> author/authorName confusion and should probably be split into two
>> different datatype properties, perhaps connected.
>
> [Are they rejigging the whole of the RDF Model Theory?]

Not necessarily, that's what the vote is on. It's either that:

x age [ xsd:int "10" ] .
x age "10" . age rdfd:range xsd:int .

are equivalent in a deep fundamental sense (but "10" does not necessary 
equal "10") or that we simply add a rule to the model theory ala:

{ ?abs rdfd:concrete [ prop ?conc ; dtype ?dtype ] . ?x ?abs [ ?dtype 
?y ]. } => { ?x ?conc ?y } .

That way we could say:

x ageInt "10". age rdfd:concrete [ prop ageInt; dtype xsd:int ].

By adding an MT hack so that the above works correctly (at the expense 
of "10" equalling "10") I think we encourage people to not distinguish 
between author and authorName just like they wouldn't have to 
distinguish between age and ageInt.

--
Aaron Swartz [http://www.aaronsw.com] 
4FAC4838B7D8D13FA6D92EDB4145521E79F0DF4B
I will be in San Diego for the O'Reilly Open Source Convention the 24-26 
July.
Received on Friday, 19 July 2002 01:19:17 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:42:08 UTC