Re: simplified datatyping proposal

[...]

>>  ... i.e. under some schema, say:
>>
>>    ex:age rdfs:drange datatype:DecimalNumber .
>>
>>the statement:
>>
>>    person:Jenny ex:age "Humpty Dumpty" .
>>
>>would always be false
>
>OK. But you don't care how it gets to be false, as it were.

that kind of inconsistency detection is indeed "beyond"
but it can be delegated to appropriate machinery
and it should be no problem to hand that over
as a check (with stringified object)
  _:xx datatype:DecimalNumber "Humpty Dumpty" .

--
Jos

Received on Thursday, 21 February 2002 19:05:48 UTC