From bced028b06d9d940b5dc6ba18286562548e9563d Mon Sep 17 00:00:00 2001 From: Gregory Todd Williams Date: Fri, 18 Aug 2023 12:14:33 -0700 Subject: [PATCH] Update Filter Evaluation language to reference more functional forms. (#117) * Update Filter Evaluation language to reference more functional forms. * Update spec/index.html Add logical-or and logical-and to description. Co-authored-by: Andy Seaborne * Update spec/index.html Change "all functions and operators operate over RDF Terms" to "all functions operate over RDF Terms" in description of filter evaluation. Co-authored-by: Andy Seaborne * Add comma in list of functional forms Co-authored-by: Ted Thibodeau Jr --------- Co-authored-by: Andy Seaborne Co-authored-by: Ted Thibodeau Jr --- spec/index.html | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/spec/index.html b/spec/index.html index 8ca6190..478c389 100644 --- a/spec/index.html +++ b/spec/index.html @@ -4741,9 +4741,13 @@

Filter Evaluation

"xsd:boolean (EBV)" in the operator mapping table below), are coerced to xsd:boolean using the EBV rules in section 17.2.2. -
  • Apart from BOUND, COALESCE, - NOT EXISTS and EXISTS, - all functions and operators operate on RDF Terms and will produce a type error if any +
  • Apart from the functional forms + BOUND, COALESCE, + IF, IN, NOT IN, + logical-or (||), + logical-and (&&), + NOT EXISTS, and EXISTS, + all functions operate on RDF Terms and will produce a type error if any arguments are unbound.
  • Any expression other than logical-or (||)