Re: Updated Conformance and Test Cases

>> >> "for example, very large integers". Do we not need a summary of what
>> >> minimal conformance for literals are?
>> >
>> > Already in Syntax.  Perhaps a pointer is called for.
>>
>> At least. They are probably short enough, however, that it would be
>> useful to have them in this document.
>
> See my comment on copying normative text above.

Yes, then I would move it from syntax to conformance as it seems to be
better placed in conformance. There isn't a specific labeled section for
this in the syntax document. I believe the relevant text is:

The literals of xsd:decimal and the datatypes derived from xsd:integer are
> mapped to arbitrarily large and arbitrarily precise numbers. An OWL 2
> implementation may support all such literals; however, it must support at
> least the following literals, called core literals, which can be easily
> mapped to the primitive datatypes commonly found in modern implementation
> platforms:
>

> All xsd:float and xsd:double literals are core literals.
>
A literal of type xsd:integer or of a type derived from xsd:integer is a
> core literal if its data value is in the value space of xsd:long.
>
A literal of type xsd:decimal is a core literal if its data value is a
> number with absolute value less than 1016 and the representation of the
> number requires at most 16 digits in total.
>

-Alan

Received on Wednesday, 5 November 2008 18:24:18 UTC