[JENA-1679] Effective boolean value for "NaN"^^xsd:float/xsd:double should be false

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: Jena 3.10.0
• Fix Version/s: Jena 3.11.0
• Component/s: ARQ

Environment

Tested on Jena 3.9

• Assignee: Andy Seaborne
• Reporter: Richard Cyganiak
• Created: 11/Mar/19 12:30
• Updated: 30/Apr/19 09:56
• Resolved: 13/Mar/19 09:17

Description

SPARQL 1.1 defines the [effective boolean value|https://www.w3.org/TR/sparql11-query/#ebv
] (EBV) of the special numeric value NaN as follows:

If the argument is a numeric type or a typed literal with a datatype derived from a numeric type, and it has a valid lexical form, the EBV is false if the operand value is NaN or is numerically equal to zero; otherwise the EBV is true.

Jena however treats it as true. The following queries both return true but should return false (using !(!expr)) to get the EBV):

SELECT (!(!"NaN"^^<http://www.w3.org/2001/XMLSchema#double>) AS ?x) WHERE {}
SELECT (!(!"NaN"^^<http://www.w3.org/2001/XMLSchema#float>) AS ?x) WHERE {}

Issue Links

• links to: GitHub Pull Request #541