extendedtype-eq-pass-result.n3

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

# Only opaque types with identical lexical and datatypes can be tested for = .
# $Id: extendedType-eq-pass-result.n3,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 rs:      <http://www.w3.org/2001/sw/DataAccess/tests/result-set#> .
@prefix loc:  <http://www.w3.org/2001/sw/DataAccess/tests/data/ValueTesting/extendedType-0#> .

[]  <http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
                rs:ResultSet ;
    rs:resultVariable
                "a1", "a2" ;
    rs:solution [ rs:binding  [ rs:value    loc:a ;
                                rs:variable "a1"
                              ] ;
		  rs:binding  [ rs:value    loc:a ;
                                rs:variable "a2"
                              ]
                ] ;
    rs:solution [ rs:binding  [ rs:value    loc:b ;
                                rs:variable "a1"
                              ] ;
		  rs:binding  [ rs:value    loc:b ;
                                rs:variable "a2"
                              ]
                ] .