extendedtype-ne-fail.rq

Jena推理机

# Opaque types can not be tested for != .
# $Id: extendedType-ne-fail.rq,v 1.5 2007/01/15 16:13:25 andy_seaborne Exp $

PREFIX loc: <http://www.w3.org/2001/sw/DataAccess/tests/data/ValueTesting/extendedType-0#>
PREFIX wgs: <http://www.w3.org/2003/01/geo/wgs84_pos#>
PREFIX air: <http://www.daml.org/2001/10/html/airport-ont#>
SELECT ?a1 ?a2
 WHERE {?a1 air:name ?name1 ;
            loc:location ?l1 .
        ?l1 loc:rotational ?rot1 .
        ?a2 air:name ?name2 ;
            loc:location ?l2 .
        ?l2 loc:rotational ?rot2 .
        FILTER (?rot1 != ?rot2) }