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).

--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

Received on Tuesday, 3 December 2002 16:23:53 UTC