xsparql.testcases-dawg-sparql-1.1.negation.subset-03.xsparql Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of xsparql-test-suite Show documentation

XSPARQL compliance test suite

The newest version!

prefix :    
prefix  rdf:    


{for ($s1 as $subset) ($s2 as $superset)
from  where
{
    # all pairs of sets except (s,s)
    $s2 rdf:type :set .
    $s1 rdf:type :set .
    minus {
        # see subset-01 ...
        $s1 rdf:type :set .
        $s2 rdf:type :set .
        $s1 :member $x .
        filter ( not exists { $s2 :member $x . } )
    }
    # remove those that are the pairs with the same elements.
    # see set-equals-1
    minus {
        $s2 rdf:type :set .
        $s1 rdf:type :set .
        minus 
        {
            $s1 rdf:type :set .
            $s2 rdf:type :set .
            $s1 :member $x .
            filter not exists { $s2 :member $x . }
        }
        minus 
        {
            $s1 rdf:type :set .
            $s2 rdf:type :set .
            $s2 :member $x .
            filter not exists { $s1 :member $x . }
        }
    }
}

return 
 
	{$subset}
	{$superset}
}