UCQrdfs : 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).

rdfs1 : C1 ⊧ Q39a ⊑ Q39c : false
Q39a Q39c 
PREFIX : 

SELECT ?x WHERE { 
  ?x a :Student .
}
                        
PREFIX : 

SELECT ?x WHERE { 
  {?x a :GraduateStudent . }
    UNION 
  {?x a :UndergradStudent . }
}
rdfs2 : C1 ⊧ Q39c ⊑ Q39a : true
Q39c Q39a 
PREFIX : 

SELECT ?x WHERE { 
  {?x a :GraduateStudent . }
    UNION 
  {?x a :UndergradStudent . }
}
                        
PREFIX : 

SELECT ?x WHERE { 
  ?x a :Student .
}
rdfs3 : C1 ⊧ Q39a ⊑ Q39b : false
Q39a Q39b 
PREFIX : 

SELECT ?x WHERE { 
  ?x a :Student .
}
                        
PREFIX : 

SELECT ?x WHERE {
  ?x a :GraduateStudent .
}
rdfs4 : C1 ⊧ Q39b ⊑ Q39a : true
Q39b Q39a 
PREFIX : 

SELECT ?x WHERE {
  ?x a :GraduateStudent .
}
                        
PREFIX : 

SELECT ?x WHERE { 
  ?x a :Student .
}
rdfs5 : C1 ⊧ Q39b ⊑ Q39c : true
Q39b Q39c 
PREFIX : 

SELECT ?x WHERE {
  ?x a :GraduateStudent .
}
                        
PREFIX : 

SELECT ?x WHERE { 
  {?x a :GraduateStudent . }
    UNION 
  {?x a :UndergradStudent . }
}
rdfs6 : C1 ⊧ Q39c ⊑ Q39b : false
Q39c Q39b 
PREFIX : 

SELECT ?x WHERE { 
  {?x a :GraduateStudent . }
    UNION 
  {?x a :UndergradStudent . }
}
                        
PREFIX : 

SELECT ?x WHERE {
  ?x a :GraduateStudent .
}
rdfs7 : C1 ⊧ Q39d ⊑ Q39e : false
Q39d Q39e 
PREFIX : 

SELECT ?x WHERE { 
  ?x a :Student .
  ?x :takesCourse ?y .
  ?x :telephone ?tel .
  ?x :sex "male" .
  ?y :courseName "Course10" .
}
                        
PREFIX : 

SELECT ?x WHERE { 
  ?x a :GraduateStudent .
  ?x :takesCourse ?y .
  ?x :telephone ?tel .
  ?x :sex "male" .
  ?y :courseName "Course10" .
}
rdfs8 : C1 ⊧ Q39e ⊑ Q39d : true
Q39e Q39d 
PREFIX : 

SELECT ?x WHERE { 
  ?x a :GraduateStudent .
  ?x :takesCourse ?y .
  ?x :telephone ?tel .
  ?x :sex "male" .
  ?y :courseName "Course10" .
}
                        
PREFIX : 

SELECT ?x WHERE { 
  ?x a :Student .
  ?x :takesCourse ?y .
  ?x :telephone ?tel .
  ?x :sex "male" .
  ?y :courseName "Course10" .
}
rdfs9 : C2 ⊧ Q40b ⊑ Q40d : true
Q40b Q40d 
PREFIX : 

SELECT ?x  WHERE 
{
  ?x :headOf ?y .
}
                        
PREFIX : 

SELECT ?x WHERE 
{ 
  ?x a :Professor .
}
rdfs10 : C2 ⊧ Q40d ⊑ Q40b : false
Q40d Q40b 
PREFIX : 

SELECT ?x WHERE 
{ 
  ?x a :Professor .
}
                        
PREFIX : 

SELECT ?x  WHERE 
{
  ?x :headOf ?y .
}
rdfs11 : C2 ⊧ Q40e ⊑ Q40b : true
Q40e Q40b 
PREFIX : 

SELECT ?x   WHERE 
{
  ?x :headOf ?y .
  ?x :worksFor ?y .
}
                        
PREFIX : 

SELECT ?x  WHERE 
{
  ?x :headOf ?y .
}
rdfs12 : C2 ⊧ Q40b ⊑ Q40e : false
Q40b Q40e 
PREFIX : 

SELECT ?x  WHERE 
{
  ?x :headOf ?y .
}
                        
PREFIX : 

SELECT ?x   WHERE 
{
  ?x :headOf ?y .
  ?x :worksFor ?y .
}
rdfs13 : C3 ⊧ Q41b ⊑ Q41c : false
Q41b Q41c 
PREFIX : 

SELECT ?x WHERE 
{
  ?x :maleHeadOf ?y .
}
                        
PREFIX : 

SELECT ?x WHERE { 
  ?x :femaleHeadOf ?y .
}
rdfs14 : C3 ⊧ Q41c ⊑ Q41b : false
Q41c Q41b 
PREFIX : 

SELECT ?x WHERE { 
  ?x :femaleHeadOf ?y .
}
                        
PREFIX : 

SELECT ?x WHERE 
{
  ?x :maleHeadOf ?y .
}
rdfs15 : C3 ⊧ Q41b ⊑ Q41d : true
Q41b Q41d 
PREFIX : 

SELECT ?x WHERE 
{
  ?x :maleHeadOf ?y .
}
                        
PREFIX : 

SELECT ?x WHERE {
  ?x :headOf ?y.
}
rdfs16 : C3 ⊧ Q41d ⊑ Q41b : false
Q41d Q41b 
PREFIX : 

SELECT ?x WHERE {
  ?x :headOf ?y.
}
                        
PREFIX : 

SELECT ?x WHERE 
{
  ?x :maleHeadOf ?y .
}
rdfs17 : C3 ⊧ Q41c ⊑ Q41d : true
Q41c Q41d 
PREFIX : 

SELECT ?x WHERE { 
  ?x :femaleHeadOf ?y .
}
                        
PREFIX : 

SELECT ?x WHERE {
  ?x :headOf ?y.
}
rdfs18 : C3 ⊧ Q41d ⊑ Q41c : false
Q41d Q41c 
PREFIX : 

SELECT ?x WHERE {
  ?x :headOf ?y.
}
                        
PREFIX : 

SELECT ?x WHERE { 
  ?x :femaleHeadOf ?y .
}
rdfs19 : C3 ⊧ Q41b ⊑ Q41a : true
Q41b Q41a 
PREFIX : 

SELECT ?x WHERE 
{
  ?x :maleHeadOf ?y .
}
                        
PREFIX : 

SELECT ?x WHERE {
  ?x a :Professor .
}
rdfs20 : C3 ⊧ Q41a ⊑ Q41b : false
Q41a Q41b 
PREFIX : 

SELECT ?x WHERE {
  ?x a :Professor .
}
                        
PREFIX : 

SELECT ?x WHERE 
{
  ?x :maleHeadOf ?y .
}
rdfs21 : C3 ⊧ Q41e ⊑ Q41a : true
Q41e Q41a 
PREFIX : 

SELECT ?x WHERE {
	{ ?x :maleHeadOf ?y .}
		UNION
	{ ?x :femaleHeadOf ?y .}	
}
                        
PREFIX : 

SELECT ?x WHERE {
  ?x a :Professor .
}
rdfs22 : C3 ⊧ Q41a ⊑ Q41e : false
Q41a Q41e 
PREFIX : 

SELECT ?x WHERE {
  ?x a :Professor .
}
                        
PREFIX : 

SELECT ?x WHERE {
	{ ?x :maleHeadOf ?y .}
		UNION
	{ ?x :femaleHeadOf ?y .}	
}
rdfs23 : C4 ⊧ Q43a ⊑ Q43b : true
Q43a Q43b 
PREFIX : 

SELECT ?x ?y WHERE 
{
  {
    { ?x a :UndergradStudent .  
      ?x :takesCourse ?y }
       UNION 
    { ?x a :GraduateStudent .
      ?x :takesCourse ?y 
    }
  } 
  ?y a :CsCourse .
}
                        
PREFIX : 

SELECT ?x ?y WHERE 
{ 
  { ?x a :UndergradStudent .
    ?x :takesCourse ?y . 
    ?y a :CsCourse 
  }
    UNION 
  { 
     ?x a :GraduateStudent .
     ?x :takesCourse ?y 
  }
}
rdfs24 : C4 ⊧ Q43b ⊑ Q43a : false
Q43b Q43a 
PREFIX : 

SELECT ?x ?y WHERE 
{ 
  { ?x a :UndergradStudent .
    ?x :takesCourse ?y . 
    ?y a :CsCourse 
  }
    UNION 
  { 
     ?x a :GraduateStudent .
     ?x :takesCourse ?y 
  }
}
                        
PREFIX : 

SELECT ?x ?y WHERE 
{
  {
    { ?x a :UndergradStudent .  
      ?x :takesCourse ?y }
       UNION 
    { ?x a :GraduateStudent .
      ?x :takesCourse ?y 
    }
  } 
  ?y a :CsCourse .
}
rdfs25 : C4 ⊧ Q43a ⊑ Q43c : true
Q43a Q43c 
PREFIX : 

SELECT ?x ?y WHERE 
{
  {
    { ?x a :UndergradStudent .  
      ?x :takesCourse ?y }
       UNION 
    { ?x a :GraduateStudent .
      ?x :takesCourse ?y 
    }
  } 
  ?y a :CsCourse .
}
                        
PREFIX : 

SELECT ?x ?y WHERE 
{ 
  {
    { 
      ?x a :UndergradStudent . 
      ?x :takesCourse ?y 
    }
     UNION 
    { 
      ?x a :GraduateStudent .
      ?x :takesCourse ?y 
    } 
   }
   ?y a :Course .
}
rdfs26 : C4 ⊧ Q43c ⊑ Q43a : false
Q43c Q43a 
PREFIX : 

SELECT ?x ?y WHERE 
{ 
  {
    { 
      ?x a :UndergradStudent . 
      ?x :takesCourse ?y 
    }
     UNION 
    { 
      ?x a :GraduateStudent .
      ?x :takesCourse ?y 
    } 
   }
   ?y a :Course .
}
                        
PREFIX : 

SELECT ?x ?y WHERE 
{
  {
    { ?x a :UndergradStudent .  
      ?x :takesCourse ?y }
       UNION 
    { ?x a :GraduateStudent .
      ?x :takesCourse ?y 
    }
  } 
  ?y a :CsCourse .
}
rdfs27 : C4 ⊧ Q43b ⊑ Q43c : false
Q43b Q43c 
PREFIX : 

SELECT ?x ?y WHERE 
{ 
  { ?x a :UndergradStudent .
    ?x :takesCourse ?y . 
    ?y a :CsCourse 
  }
    UNION 
  { 
     ?x a :GraduateStudent .
     ?x :takesCourse ?y 
  }
}
                        
PREFIX : 

SELECT ?x ?y WHERE 
{ 
  {
    { 
      ?x a :UndergradStudent . 
      ?x :takesCourse ?y 
    }
     UNION 
    { 
      ?x a :GraduateStudent .
      ?x :takesCourse ?y 
    } 
   }
   ?y a :Course .
}
rdfs28 : C4 ⊧ Q43c ⊑ Q43b : false
Q43c Q43b 
PREFIX : 

SELECT ?x ?y WHERE 
{ 
  {
    { 
      ?x a :UndergradStudent . 
      ?x :takesCourse ?y 
    }
     UNION 
    { 
      ?x a :GraduateStudent .
      ?x :takesCourse ?y 
    } 
   }
   ?y a :Course .
}
                        
PREFIX : 

SELECT ?x ?y WHERE 
{ 
  { ?x a :UndergradStudent .
    ?x :takesCourse ?y . 
    ?y a :CsCourse 
  }
    UNION 
  { 
     ?x a :GraduateStudent .
     ?x :takesCourse ?y 
  }
}
Generated on Fri Jun 14 16:41:34 CEST 2013 with SuiteTool.