Jena推理机

				# Positive test: product of type promotion within the xsd:decimal type tree.
				# $Id: boolean-logical-OR.rq,v 1.5 2007/01/15 16:13:12 andy_seaborne Exp $
				
				PREFIX rdf: 
				PREFIX xsd: 
				SELECT ?one
				 WHERE { ?one rdf:value ?oneL .
				         FILTER ( (TRUE || FALSE) = ?oneL ) }