Re: datatyping

>pat hayes wrote:
>>
>snip
>>
>>  3a. The minimal kind of information is a specification of which
>>  literals are syntactically correct, ie in the lexical space of the
>>  datatype, and which are not.
>>  This information being unobtainable for a resource which is asserted
>>  to be in the class rdfs:Datatype may be considered an error condition.
>>  3b. The second kind of information is a specification of which
>>  literals map to the same value in the datatype. This information can
>>  be conceptualized as a set of equations between typed literals with
>>  the same type:
>>  "aaa"^^ddd = "bbb"^^ddd .
>>  but it may also be provided, for example, by giving a mapping from
>>  lexical forms to canonical lexical forms.
>
>Pat--
>
>In 3a you related the kind of information to the specification of the
>lexical space.  Can you relate the kind of information in 3b to the
>datatype mapping?  (Trying to cast this in terms of the framework
>described in the Concepts WD).

Sure. 3b and c can be phrased as a specification of which literals 
map to the same value under the datatype mapping(s) (singular for 3b, 
plural for 3c)

Pat


>
>--Frank
>
>--
>Frank Manola                   The MITRE Corporation
>202 Burlington Road, MS A345   Bedford, MA 01730-1420
>mailto:fmanola@mitre.org       voice: 781-271-8147   FAX: 781-271-8752


-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola              			(850)202 4440   fax
FL 32501           				(850)291 0667    cell
phayes@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
s.pam@ai.uwf.edu   for spam

Received on Tuesday, 3 December 2002 17:51:45 UTC