Given Dan's proposed rdf:format which provides lexical
constraints on inlined literals, does the following entailment
hold:
IF
Jenny age "10" .
Bob age "10.0" .
age rdf:format xsd:integer .
THEN
Jenny age _:x .
Bob age _:x .
Or, how about
IF
Jenny age "10" .
Bob shoesize "10" .
age rdf:format xsd:integer .
shoesize rdf:format xsd:byte .
THEN
Jenny age _:x .
Bob age _:x .
I expect that the answer will be that the first entailment
does not hold, the second does, and that in actuality
rdf:format has nothing whatsoever to do with whether or not
two lexical forms are considered equal or not.
I.e., it's just tidy with lexical constraints, and as such,
it's not really a new or different proposal, but just a superset
of the current tidy proposal.
Comments? Corrections?
Patrick
[Patrick Stickler, Nokia/Finland, (+358 40) 801 9690, patrick.stickler@nokia.com]