minor technical on 11.2.1 Invocation

11.2.1 Invocation
The second bullet says "For functions and operators where the result
type is specified as xsd:boolean, the effective boolean value...is
calculated".  Quite apart from whether you retain the notion of
effective boolean value, this bullet appears to be either incorrectly
worded or misplaced.  The issue is whether this bullet item is talking
about the arguments or the result.  As worded, it refers to the result
type, so it seems to be saying that the effective boolean value of the
result is computed.  However, the result itself is not computed until
bullet four.  Based on the placement of the bullet, possibly what is
meant is that the effective boolean type of the argument(s) is
computed.  But in that case, the bullet should not be activated based on
the result type.  For example, consider the isIRI function.  The
result type is xsd:boolean, but you do not want to compute the effective
boolean value of the argument.  On the other hand, consider A || B
or A && B.  For these operators, you do want to convert the arguments
to effective boolean values.  But this can be decided, not on the
basis of the result type, but rather on the basis of the argument type.
Probably what you mean is "For each argument whose type is xsd:boolean, the
effective boolean value of the argument is computed."

Fred Zemke

Received on Thursday, 12 January 2006 17:37:50 UTC