W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > January to March 2006

clarification of EBV returning an xsd: boolean@w3.org

From: Eric Prud'hommeaux <eric@w3.org>
Date: Tue, 17 Jan 2006 20:33:00 -0500
To: public-rdf-dawg@w3.org
Message-ID: <20060118013300.GQ7513@w3.org>
Addressing PatH's query of whether rq23 stated that an EBV
was "true"^^xsd:boolean or "false"^^xsd:boolean:

I have updated the text of [EBV], removing the everything-has-changed
text and the are-you-happy-with-the-new-form text. The new text is:

[[
The XQuery  Effective Boolean Value rules rely on the definition of
XPath's fn:boolean. The following rules reflect the rules for
fn:boolean applied to the argument types present in SPARQL Queries:

    * If the argument is a typed literal with a datatype of
    xsd:boolean, the EBV is the argument.
    * If the argument is a plain literal or a typed literal with a
    datatype of xsd:string, the EBV is false if the operand value has
    zero length; otherwise the EBV is true.
    * If the argument is a numeric type or a typed literal with a
    datatype derived from a numeric type, the EBV is false if the
    operand value is NaN or is numerically equal to zero; otherwise
    the EBV is true.
    * All other arguments produce a type error.

An EBV of true is represented as a typed literal with a datatype of
xsd:boolean and a lexical value of "true"; an EBV of false is
represented with a lexical value of "false".

[Informative: Effective boolean value is used to calculate the
arguments to the logical functions logical-and, logical-or, and
fn:not, as well as evaluate the result of a filter.]
]]

[EBV] http://www.w3.org/2001/sw/DataAccess/rq23/#ebv
-- 
-eric

office: +81.466.49.1170 W3C, Keio Research Institute at SFC,
                        Shonan Fujisawa Campus, Keio University,
                        5322 Endo, Fujisawa, Kanagawa 252-8520
                        JAPAN
        +1.617.258.5741 NE43-344, MIT, Cambridge, MA 02144 USA
cell:   +81.90.6533.3882

(eric@w3.org)
Feel free to forward this message to any list for any purpose other than
email address distribution.

Received on Wednesday, 18 January 2006 01:33:03 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:15:25 GMT