operator mapping

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

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,

Olivier

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