typepromotion-decimal-decimal-fail.rq

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

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

PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
SELECT ?one ?two
 WHERE { ?one rdf:value ?oneL .
         ?two rdf:value ?twoL .
         FILTER ( datatype(?oneL) = xsd:unsignedByte && 
                  datatype(?twoL) = xsd:unsignedShort && 
                  datatype(?oneL + ?twoL) = xsd:unsignedShort ) }