- From: Patrick Stickler <patrick.stickler@nokia.com>
- Date: Mon, 7 Oct 2002 10:27:46 +0300
- To: "w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>
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]
Received on Monday, 7 October 2002 03:27:54 UTC