xsparql.testcases-dawg-sparql-1.1.negation.subset-01.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:    
# sparql 1.1

{for ($s1 as $subset) ($s2 as $superset)
from  where
{
    # all pairs of sets except (s,s)
    $s2 rdf:type :set .
    $s1 rdf:type :set .
    filter($s1 != $s2)
    minus 
    {
    	# the minus rhs is ($s1, $s2) where 
        # $s1 has a member not in $s2
        $s1 rdf:type :set .
        $s2 rdf:type :set .
        filter($s1 != $s2)

        $s1 :member $x .
        filter not exists { $s2 :member $x . }
    }
}

return 
 
	{$subset}
	{$superset}
}