tp-float-decimal-fail.rq

jena2.5.4推理机系统的一种最基本实现 HP实验室出品

# Positive test: product of type promotion within the xsd:decimal type tree.
# $Id: tP-float-decimal-fail.rq,v 1.9 2007/09/17 17:40:56 andy_seaborne Exp $

PREFIX t: <http://www.w3.org/2001/sw/DataAccess/tests/data/TypePromotion/tP-0#>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
ASK
 WHERE { t:float1 rdf:value ?l .
         t:decimal1 rdf:value ?r .
         FILTER ( datatype(?l + ?r) = xsd:decimal ) }