W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > October 2002

Practical question about rdf:format

From: Patrick Stickler <patrick.stickler@nokia.com>
Date: Mon, 7 Oct 2002 10:27:46 +0300
Message-ID: <00ad01c26dd3$084ce7a0$544516ac@NOE.Nokia.com>
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 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:52:22 EDT