• Home
• org.sourceforge.xsparql
• xsparql-test-suite
• 20140722
• source code
• set-equals-1.xsparql

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

xsparql.testcases-dawg-sparql-1.1.negation.set-equals-1.xsparql Maven / Gradle / Ivy

prefix :    
prefix  rdf:    

# find sets that have exactly the same members.
# find all (s1,s2) such that (s1 subset of s) and (s2 subset of s1).


{for distinct $s1 $s2
from  where
{
    # all pairs of sets (no duplicates, not reveres pairs)
    $s2 rdf:type :set .
    $s1 rdf:type :set .
    filter(str($s1) < str($s2))
    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 
 
	{$s2}
	{$s1}
}