extendedtype-eq-pass-result.n3

来自「Jena推理机」· N3 代码 · 共 26 行

# Only opaque types with identical lexical and datatypes can be tested for = .
# $Id: extendedType-eq-pass-result.n3,v 1.5 2007/01/15 16:13:13 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"
                              ]
                ] .