- From: Seaborne, Andy <andy.seaborne@hp.com>
- Date: Thu, 17 Aug 2006 12:57:10 +0100
- To: Bijan Parsia <bparsia@cs.man.ac.uk>
- CC: Pat Hayes <phayes@ihmc.us>, RDF Data Access Working Group <public-rdf-dawg@w3.org>
Bijan Parsia wrote: > On Aug 17, 2006, at 12:39 PM, Seaborne, Andy wrote: > >> Bijan Parsia wrote: >>> Thanks Andy, that was interesting. >>> On Aug 17, 2006, at 10:20 AM, Seaborne, Andy wrote: >>>> Output from ARQ (using the standalone expression evaluator >>>> because it explains what is going on; ASK queries mask this): >>>> >>>> Reformatted for email. >>>> >>>> ==== Test 1 >>>> >>>> arq.qexpr "'-5'^^xsd:positiveInteger < 5" ==> error >>>> >>>> 10:06:46 WARN NodeValue >>>> Datatype format exception: "-5"^^xsd:positiveInteger >>>> Exception: Can't compare "-5"^^<http://www.w3.org/2001/ >>>> XMLSchema#positiveInteger> and 5 >>> You say that the warnings do not affect the results. >> Warnings are output as logging messages. Ignore then for the value >> of the expression. ARQ just outputs some logging stuff for caes >> where the user may find it useful. As ARQ (and Jena and Joseki) >> uses Jakarta Commons Logging (and log4j usually) the user/app can >> pick and choose logging messages anyway. >> >>> But this is >>> wrong behavior, yes? >>> """Specifically, FILTERs eliminate any solutions that, when >>> substituted into the expression, result in either an effective >>> boolean value of false or produce an error. """ >> This is showing the result of an expression evaluation, not the >> full filter evaluation. That's why I didn't use an ASK query. > > Ok, but surely the relevant bit is how this expression evaluation > affects filter evaluation. > >> Andy >> >>> So, given data >>> :b :p "-5"^^xsd:positiveInteger. >>> :b :q "5"^^xsd:positiveInteger. >>> and query >>> SELECT ?x {?x :p ?L1. ?x :q ?L2. FILTER ?L1 < ?L2} Syntax error : FILTER ( ?L1 < ?L2 ) >>> ARQ returns >>> ?x/:b >>> instead of no answers? > > Hence wondering what ARQ does in this specific case. ARQ returns: ----- | x | ===== ----- Andy > > Cheers, > Bijan.
Received on Thursday, 17 August 2006 11:57:40 UTC