operator mapping

• From: Olivier Corby <Olivier.Corby@sophia.inria.fr>
• Date: Tue, 28 Nov 2006 17:08:20 +0100
• To: public-rdf-dawg@w3.org
• Message-ID: <456C5EF4.6020606@sophia.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, 28 November 2006 16:11:00 UTC