sparqlqc.1.4.benchmark.ucqrdfs.rdf Maven / Gradle / Ivy

Go to download



  
  
  
   
   ]>



  
    rdfs
    Containment of Union of Conjunctive Quries under RDFS schema benchmark testcases
    This test suite, as its name implies, is designed for containment of queries that require RDFS reasoning. Thus, a set of RDF schema axioms are selected in order to be able to test containment in the presence of these constraining schemas. The four schemas cover concept and property hierarchies, and typing (domain and range) restriction axioms. Along with the schemas, the test suite contains 18 queries differing in the: number of operators, number of distinguished variables, and having projection (or no projection).
    
      
        Q39a
     	Q39c
	
     	
	false
      
      
        Q39a
     	Q39c
     	C1
	false
      
      
        Q39c
	Q39a
	    C1
	true
      
      
        Q39a
	Q39b
	C1
	false
      
      
        Q39b
	Q39a
	C1
	true
      
      
        Q39b
	Q39c
	C1
	true
      
      
        Q39c
	Q39b
	C1
	false
      
      
        Q39d
	Q39e
	C1
	false
      
      
        Q39e
	Q39d
	C1
	true
      
    
        Q40b
	Q40d
	C2
	true
      
    
        Q40d
	Q40b
	C2
	false
      
      
        Q40e
	Q40b
	C2
	true
      
      
        Q40b
	Q40e
	C2
	false
      
      
        Q41b
	Q41c
	C3
	false
      
      
        Q41c
	Q41b
	C3
	false
      
      
        Q41b
	Q41d
	C3
	true
      
      
        Q41d
	Q41b
	C3
	false
      
      
        Q41c
	Q41d
	C3
	true
      
      
        Q41d
	Q41c
	C3
	false
      
      
        Q41b
	Q41a
	C3
	true
      
      
        Q41a
	Q41b
	C3
	false
      
    
        Q41e
	Q41a
	C3
	true
      
      
        Q41a
	Q41e
	C3
	false
      
        
        Q43a
	Q43b
	C4
	true
      
      
        Q43b
	Q43a
	C4
	false
      
      
        Q43a
	Q43c
	C4
	true
      
      
        Q43c
	Q43a
	C4
	false
      
      
        Q43b
	Q43c
	C4
	false
      
      
        Q43c
	Q43b
	C4
	false