W3C home > Mailing lists > Public > public-rdf-dawg-comments@w3.org > December 2006

operator mapping

From: <Olivier.Corby@sophia.inria.fr>
Date: Tue, 5 Dec 2006 17:06:36 +0100 (CET)
Message-ID: <1179.>
To: public-rdf-dawg-comments@w3.org

A question concerning the mapping between the = operator and the
appropriate operator function according to the operands.

The table "11.3 Operator Mapping" lists numeric, boolean and dateTime as
possible operands for which there is an appropriate function for the =
operator (e.g. op:numeric-equal, etc.). Otherwise, the RDFterm-equal
function applies. So, according to this formulation, string and plain
literal operands are processed by the RDFterm-equal function.

But the RDFterm-equal function "produces a type error if the arguments
are both literal but are not the same RDF term". So comparing non equal
strings or plain literals would produce a type error, and so would !=
produce a type error which is in contradiction with "11.4.10
RDFterm-equal" example.

Best regards,

Received on Tuesday, 5 December 2006 16:07:29 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:52:08 UTC