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" . -- JosReceived on Thursday, 21 February 2002 19:25:01 EST
This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:45:19 EDT