Re: simplified datatyping proposal

Oops... forgot to mention that that check is
like a DDT (datatype triple) (as you may have seen)
bridging S-B assertions to DTT queries




[...]

>>  ... 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:25:01 UTC