extendedtype-ne-fail.rq

来自「jena2.5.4推理机系统的一种最基本实现 HP实验室出品」· RQ 代码 · 共 15 行

# Opaque types can not be tested for != .
# $Id: extendedType-ne-fail.rq,v 1.9 2007/09/17 17:40:51 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) }