a , ; "

Operator Mapping

\n\n

The SPARQL grammar identifies a set of operators (for instance, && , * , isIRI ) used to construct constraints. The following table associates each of these grammatical productions with the appropriate operands and an operator function defined by either XQuery 1.0 and XPath 2.0 Functions and Operators [XQuery 1.0 and XPath 2.0 Functions and Operators] or the SPARQL operators specified in section 17.4. When selecting the operator definition for a given set of parameters, the definition with the most specific parameters applies. For instance, when evaluating xsd:integer = xsd:signedInt, the definition for = with two numeric parameters applies, rather than the one with two RDF terms . The table is arranged so that the upper-most viable candidate is the most specific. Operators invoked without appropriate operands result in a type error.

\n

SPARQL follows XPath's scheme for numeric type promotions and subtype substitution for arguments to numeric operators. The XPath Operator Mapping rules for numeric operands (xsd:integer, xsd:decimal, xsd:float, xsd:double, and types derived from a numeric type) apply to SPARQL operators as well (see XML Path Language (XPath) 2.0 [XML Path Language (XPath) 2.0] for definitions of numeric type promotions and subtype substitution). Some of the operators are associated with nested function expressions, e.g. fn:not(op:numeric-equal(A, B)). Note that per the XPath definitions, fn:not and op:numeric-equal produce an error if their argument is an error.

\n

The collation for fn:compare is defined by XPath and identified by http://www.w3.org/2005/xpath-functions/collation/codepoint. This collation allows for string comparison based on code point values. Codepoint string equivalence can be tested with RDF term equivalence.

\n\n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n
SPARQL Unary Operators
OperatorType(A)FunctionResult type
XQuery Unary Operators
\n \n ! A\n xsd:boolean (EBV)\n \n fn:not(A)xsd:boolean
\n \n + A\n \n numeric\n \n op:numeric-unary-plus(A)\n numeric\n
\n \n - A\n \n numeric\n \n op:numeric-unary-minus(A)\n numeric\n
\n\n\n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n
SPARQL Binary Operators
OperatorType(A)Type(B)FunctionResult type
Logical Connectives
\n A || B\n xsd:boolean (EBV)\n xsd:boolean (EBV)\n \n logical-or(A, B)xsd:boolean
\n A && B\n xsd:boolean (EBV)\n xsd:boolean (EBV)\n \n logical-and(A, B)xsd:boolean
XPath Tests
\n A = B\n \n numeric\n \n numeric\n \n op:numeric-equal(A, B)xsd:boolean
\n A = B\n \n simple literal\n \n simple literal\n \n op:numeric-equal(fn:compare(A, B), 0)xsd:boolean
\n A = B\n xsd:stringxsd:string\n op:numeric-equal(fn:compare(STR(A), STR(B)), 0)xsd:boolean
\n A = B\n xsd:booleanxsd:boolean\n op:boolean-equal(A, B)xsd:boolean
\n A = B\n xsd:dateTimexsd:dateTime\n op:dateTime-equal(A, B)xsd:boolean
\n A != B\n \n numeric\n \n numeric\n \n fn:not(op:numeric-equal(A, B))xsd:boolean
\n A != B\n \n simple literal\n \n simple literal\n \n fn:not(op:numeric-equal(fn:compare(A, B), 0))xsd:boolean
\n A != B\n xsd:stringxsd:string\n fn:not(op:numeric-equal(fn:compare(STR(A), STR(B)), 0))xsd:boolean
\n A != B\n xsd:booleanxsd:boolean\n fn:not(op:boolean-equal(A, B))xsd:boolean
\n A != B\n xsd:dateTimexsd:dateTime\n fn:not(op:dateTime-equal(A, B))xsd:boolean
\n A < B\n \n numeric\n \n numeric\n \n op:numeric-less-than(A, B)xsd:boolean
\n A < B\n \n simple literal\n \n simple literal\n \n op:numeric-equal(fn:compare(A, B), -1)xsd:boolean
\n A < B\n xsd:stringxsd:string\n op:numeric-equal(fn:compare(STR(A), STR(B)), -1)xsd:boolean
\n A < B\n xsd:booleanxsd:boolean\n op:boolean-less-than(A, B)xsd:boolean
\n A < B\n xsd:dateTimexsd:dateTime\n op:dateTime-less-than(A, B)xsd:boolean
\n A > B\n \n numeric\n \n numeric\n \n op:numeric-greater-than(A, B)xsd:boolean
\n A > B\n \n simple literal\n \n simple literal\n \n op:numeric-equal(fn:compare(A, B), 1)xsd:boolean
\n A > B\n xsd:stringxsd:string\n op:numeric-equal(fn:compare(STR(A), STR(B)), 1)xsd:boolean
\n A > B\n xsd:booleanxsd:boolean\n op:boolean-greater-than(A, B)xsd:boolean
\n A > B\n xsd:dateTimexsd:dateTime\n op:dateTime-greater-than(A, B)xsd:boolean
\n A <= B\n \n numeric\n \n numeric\n \n logical-or(op:numeric-less-than(A, B), op:numeric-equal(A, B))xsd:boolean
\n A <= B\n \n simple literal\n \n simple literal\n \n fn:not(op:numeric-equal(fn:compare(A, B), 1))xsd:boolean
\n A <= B\n xsd:stringxsd:string\n fn:not(op:numeric-equal(fn:compare(STR(A), STR(B)), 1))xsd:boolean
\n A <= B\n xsd:booleanxsd:boolean\n fn:not(op:boolean-greater-than(A, B))xsd:boolean
\n A <= B\n xsd:dateTimexsd:dateTime\n fn:not(op:dateTime-greater-than(A, B))xsd:boolean
\n A >= B\n \n numeric\n \n numeric\n \n logical-or(op:numeric-greater-than(A, B), op:numeric-equal(A, B))xsd:boolean
\n A >= B\n \n simple literal\n \n simple literal\n \n fn:not(op:numeric-equal(fn:compare(A, B), -1))xsd:boolean
\n A >= B\n xsd:stringxsd:string\n fn:not(op:numeric-equal(fn:compare(STR(A), STR(B)), -1))xsd:boolean
\n A >= B\n xsd:booleanxsd:boolean\n fn:not(op:boolean-less-than(A, B))xsd:boolean
\n A >= B\n xsd:dateTimexsd:dateTime\n fn:not(op:dateTime-less-than(A, B))xsd:boolean
XPath Arithmetic
\n A * B\n \n numeric\n \n numeric\n \n op:numeric-multiply(A, B)\n numeric\n
\n A / B\n \n numeric\n \n numeric\n \n op:numeric-divide(A, B)\n numeric; but xsd:decimal if both operands are xsd:integer
\n A + B\n \n numeric\n \n numeric\n \n op:numeric-add(A, B)\n numeric\n
\n A - B\n \n numeric\n \n numeric\n \n op:numeric-subtract(A, B)\n numeric\n
SPARQL Tests
\n A = B\n \n RDF term\n \n RDF term\n \n RDFterm-equal(A, B)xsd:boolean
\n A != B\n \n RDF term\n \n RDF term\n \n fn:not(RDFterm-equal(A, B))xsd:boolean
\n\n

xsd:boolean function arguments marked with \"(EBV)\" are coerced to xsd:boolean by evaluating the effective boolean value of that argument.

"^^ ; ; "Operator Mapping" . a ; "

Operator Extensibility

\n\n

SPARQL language extensions may provide additional associations between operators and operator functions; this amounts to adding rows to the table above. No additional operator may yield a result that replaces any result other than a type error in the semantics defined above. The consequence of this rule is that SPARQL FILTERs will produce at least the same intermediate bindings after applying a FILTER as an unextended implementation.

\n

Additional mappings of the '<' operator are expected to control the relative ordering of the operands, specifically, when used in an ORDER BY clause.

"^^ ; ; . a ; ; ; "2023-07-10T15:22:29.751Z"^^ ; "Operator MappingtorMapping" ; ; ; .