15 files changed, 1890 insertions, 54 deletions

diff --git a/data/uobm/uobm_sygenia_all-blanks.sparql b/data/uobm/uobm_sygenia_all-blanks.sparql
index e69de29..3957cb8 100644
--- a/data/uobm/uobm_sygenia_all-blanks.sparql
+++ b/data/uobm/uobm_sygenia_all-blanks.sparql
@@ -0,0 +1,1725 @@
+^[query1]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isMemberOf ?x .
+  _:y rdf:type benchmark:Person 
+}
+
+^[query2]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isStudentOf ?x 
+}
+
+^[query3]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasStudent _:y .
+  _:z benchmark:hasStudent _:y 
+}
+
+^[query4]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:AcademicSubject 
+}
+
+^[query5]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x ?y
+WHERE {
+  ?y benchmark:isFriendOf ?x 
+}
+
+^[query6]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasStudent _:y .
+  _:y benchmark:isMemberOf _:z .
+  _:z rdf:type benchmark:Organization 
+}
+
+^[query7]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isCrazyAbout _:y 
+}
+
+^[query8]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:SupportingStaff 
+}
+
+^[query9]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:like _:y 
+}
+
+^[query10]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:teacherOf ?x 
+}
+
+^[query11]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:ResearchGroup 
+}
+
+^[query12]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:hasMember ?x .
+  _:y rdf:type benchmark:ResearchGroup 
+}
+
+^[query13]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasMember _:y .
+  _:z benchmark:hasMember _:y .
+  _:z rdf:type benchmark:Organization 
+}
+
+^[query14]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isTaughtBy _:y .
+  _:y benchmark:isMemberOf _:z 
+}
+
+^[query15]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasUndergraduateDegreeFrom _:y 
+}
+
+^[query16]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isTaughtBy _:y .
+  _:y rdf:type benchmark:Person 
+}
+
+^[query17]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isMemberOf ?x .
+  _:y benchmark:isMemberOf _:z 
+}
+
+^[query18]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasSameHomeTownWith _:y 
+}
+
+^[query19]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x ?y
+WHERE {
+  ?x benchmark:hasAlumnus ?y 
+}
+
+^[query20]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isTaughtBy _:y .
+  _:y benchmark:worksFor _:z .
+  _:z rdf:type benchmark:Organization 
+}
+
+^[query21]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:hasMember ?x .
+  _:y rdf:type benchmark:Organization 
+}
+
+^[query22]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasMember _:y .
+  _:y benchmark:isStudentOf _:z .
+  _:z rdf:type benchmark:Organization 
+}
+
+^[query23]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:hasStudent ?x .
+  _:y rdf:type benchmark:Organization 
+}
+
+^[query24]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:like _:y .
+  _:y rdf:type benchmark:Insterest 
+}
+
+^[query25]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isMemberOf ?x .
+  _:y benchmark:isStudentOf _:z .
+  _:z rdf:type benchmark:Organization 
+}
+
+^[query26]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasStudent _:y .
+  _:y rdf:type benchmark:Person 
+}
+
+^[query27]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isStudentOf ?x .
+  _:y benchmark:isMemberOf _:z .
+  _:z rdf:type benchmark:Organization 
+}
+
+^[query28]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:enrollIn _:y .
+  _:y rdf:type benchmark:Department 
+}
+
+^[query29]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:Article 
+}
+
+^[query30]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasAlumnus _:y .
+  _:y rdf:type benchmark:Person 
+}
+
+^[query31]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isFriendOf _:y .
+  _:y rdf:type benchmark:Person 
+}
+
+^[query32]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isCrazyAbout _:y .
+  _:y rdf:type benchmark:TennisClass 
+}
+
+^[query33]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:hasDegreeFrom ?x 
+}
+
+^[query34]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isCrazyAbout _:y .
+  _:y rdf:type benchmark:SwimmingClass 
+}
+
+^[query35]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:hasStudent ?x 
+}
+
+^[query36]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x ?y
+WHERE {
+  ?y benchmark:hasAlumnus ?x 
+}
+
+^[query37]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isMemberOf ?x .
+  _:y benchmark:isStudentOf _:z 
+}
+
+^[query38]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isMemberOf ?x .
+  _:z benchmark:hasStudent _:y 
+}
+
+^[query39]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isMemberOf _:y .
+  _:y rdf:type benchmark:ResearchGroup 
+}
+
+^[query40]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasStudent _:y .
+  _:y benchmark:isStudentOf _:z .
+  _:z rdf:type benchmark:Organization 
+}
+
+^[query41]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasMasterDegreeFrom _:y .
+  _:y rdf:type benchmark:University 
+}
+
+^[query42]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:Department 
+}
+
+^[query43]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:like _:y .
+  _:y rdf:type benchmark:BasketBallClass 
+}
+
+^[query44]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isStudentOf ?x .
+  _:y benchmark:isStudentOf _:z .
+  _:z rdf:type benchmark:Organization 
+}
+
+^[query45]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:enrollIn _:y .
+  _:y rdf:type benchmark:Organization 
+}
+
+^[query46]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isMemberOf ?x .
+  _:y benchmark:isMemberOf _:z .
+  _:z rdf:type benchmark:Organization 
+}
+
+^[query47]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:Science 
+}
+
+^[query48]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasMember _:y .
+  _:y benchmark:isMemberOf _:z .
+  _:z rdf:type benchmark:Organization 
+}
+
+^[query49]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x ?y
+WHERE {
+  ?x benchmark:like ?y 
+}
+
+^[query50]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:Sports 
+}
+
+^[query51]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:hasAlumnus ?x 
+}
+
+^[query52]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isHeadOf _:y .
+  _:y rdf:type benchmark:Department 
+}
+
+^[query53]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x ?y
+WHERE {
+  ?x benchmark:teacherOf ?y 
+}
+
+^[query54]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x ?y
+WHERE {
+  ?x benchmark:isTaughtBy ?y 
+}
+
+^[query55]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isCrazyAbout _:y .
+  _:y rdf:type benchmark:BasketBallClass 
+}
+
+^[query56]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isTaughtBy _:y .
+  _:y benchmark:isMemberOf _:z .
+  _:z rdf:type benchmark:Organization 
+}
+
+^[query57]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasDegreeFrom _:y 
+}
+
+^[query58]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasSameHomeTownWith _:y .
+  _:y rdf:type benchmark:Person 
+}
+
+^[query59]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isHeadOf _:y .
+  _:y rdf:type benchmark:Organization 
+}
+
+^[query60]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isMemberOf ?x .
+  _:z benchmark:hasMember _:y .
+  _:z rdf:type benchmark:Organization 
+}
+
+^[query61]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isHeadOf _:y .
+  _:y rdf:type benchmark:College 
+}
+
+^[query62]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasDoctoralDegreeFrom _:y .
+  _:y rdf:type benchmark:University 
+}
+
+^[query63]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isTaughtBy _:y .
+  _:z benchmark:hasMember _:y .
+  _:z rdf:type benchmark:Organization 
+}
+
+^[query64]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isCrazyAbout _:y .
+  _:y rdf:type benchmark:BaseballClass 
+}
+
+^[query65]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:like _:y .
+  _:y rdf:type benchmark:Sports 
+}
+
+^[query66]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:hasDegreeFrom ?x .
+  _:y rdf:type benchmark:Person 
+}
+
+^[query67]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x ?y
+WHERE {
+  ?x benchmark:hasMember ?y 
+}
+
+^[query68]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:Software 
+}
+
+^[query69]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:hasSameHomeTownWith ?x 
+}
+
+^[query70]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:Professor 
+}
+
+^[query71]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:worksFor _:y .
+  _:y rdf:type benchmark:ResearchGroup 
+}
+
+^[query72]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isStudentOf ?x .
+  _:z benchmark:hasMember _:y .
+  _:z rdf:type benchmark:Organization 
+}
+
+^[query73]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isTaughtBy _:y .
+  _:y rdf:type benchmark:Employee 
+}
+
+^[query74]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:Work 
+}
+
+^[query75]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:teacherOf ?x .
+  _:y benchmark:worksFor _:z .
+  _:z rdf:type benchmark:Organization 
+}
+
+^[query76]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x ?y
+WHERE {
+  ?x benchmark:worksFor ?y 
+}
+
+^[query77]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:TeachingAssistant 
+}
+
+^[query78]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasDegreeFrom _:y .
+  _:y rdf:type benchmark:University 
+}
+
+^[query79]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isCrazyAbout _:y .
+  _:y rdf:type benchmark:Insterest 
+}
+
+^[query80]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasStudent _:y .
+  _:y benchmark:isMemberOf _:z 
+}
+
+^[query81]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasStudent _:y .
+  _:z benchmark:hasMember _:y 
+}
+
+^[query82]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:FineArts 
+}
+
+^[query83]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isStudentOf _:y 
+}
+
+^[query84]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isFriendOf ?x .
+  _:y rdf:type benchmark:Person 
+}
+
+^[query85]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isFriendOf ?x 
+}
+
+^[query86]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:worksFor _:y .
+  _:y rdf:type benchmark:Program 
+}
+
+^[query87]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasMasterDegreeFrom _:y .
+  _:y rdf:type benchmark:Organization 
+}
+
+^[query88]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:Engineering 
+}
+
+^[query89]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasDoctoralDegreeFrom _:y 
+}
+
+^[query90]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasStudent _:y .
+  _:z benchmark:hasMember _:y .
+  _:z rdf:type benchmark:Organization 
+}
+
+^[query91]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:like _:y .
+  _:y rdf:type benchmark:BaseballClass 
+}
+
+^[query92]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:worksFor _:y 
+}
+
+^[query93]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:Faculty 
+}
+
+^[query94]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x ?y
+WHERE {
+  ?y benchmark:hasStudent ?x 
+}
+
+^[query95]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasMajor _:y .
+  _:y rdf:type benchmark:Science 
+}
+
+^[query96]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:worksFor _:y .
+  _:y rdf:type benchmark:Department 
+}
+
+^[query97]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isFriendOf _:y 
+}
+
+^[query98]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:teacherOf ?x .
+  _:y benchmark:worksFor _:z 
+}
+
+^[query99]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasMember _:y .
+  _:y benchmark:isStudentOf _:z 
+}
+
+^[query100]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isCrazyAbout _:y .
+  _:y rdf:type benchmark:Sports 
+}
+
+^[query101]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isMemberOf ?x .
+  _:y rdf:type benchmark:Student 
+}
+
+^[query102]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:teacherOf ?x .
+  _:z benchmark:hasMember _:y .
+  _:z rdf:type benchmark:Organization 
+}
+
+^[query103]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasDoctoralDegreeFrom _:y .
+  _:y rdf:type benchmark:Organization 
+}
+
+^[query104]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasMember _:y .
+  _:y rdf:type benchmark:Student 
+}
+
+^[query105]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x ?y
+WHERE {
+  ?y benchmark:isStudentOf ?x 
+}
+
+^[query106]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isStudentOf ?x .
+  _:z benchmark:hasStudent _:y 
+}
+
+^[query107]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x ?y
+WHERE {
+  ?y benchmark:hasMember ?x 
+}
+
+^[query108]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isStudentOf ?x .
+  _:y rdf:type benchmark:Student 
+}
+
+^[query109]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:Course 
+}
+
+^[query110]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isHeadOf _:y .
+  _:y rdf:type benchmark:Program 
+}
+
+^[query111]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasStudent _:y 
+}
+
+^[query112]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:hasMember ?x .
+  _:y rdf:type benchmark:Program 
+}
+
+^[query113]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isMemberOf _:y .
+  _:y rdf:type benchmark:Organization 
+}
+
+^[query114]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:Student 
+}
+
+^[query115]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isStudentOf ?x .
+  _:y benchmark:isStudentOf _:z 
+}
+
+^[query116]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x ?y
+WHERE {
+  ?x benchmark:hasStudent ?y 
+}
+
+^[query117]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasStudent _:y .
+  _:y rdf:type benchmark:Student 
+}
+
+^[query118]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:College 
+}
+
+^[query119]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:teacherOf _:y .
+  _:y rdf:type benchmark:Work 
+}
+
+^[query120]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isMemberOf _:y 
+}
+
+^[query121]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasAlumnus _:y 
+}
+
+^[query122]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:teacherOf ?x .
+  _:y benchmark:isMemberOf _:z 
+}
+
+^[query123]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:like _:y .
+  _:y rdf:type benchmark:SwimmingClass 
+}
+
+^[query124]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:hasMember ?x 
+}
+
+^[query125]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isHeadOf _:y 
+}
+
+^[query126]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasStudent _:y .
+  _:y benchmark:isStudentOf _:z 
+}
+
+^[query127]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isStudentOf _:y .
+  _:y rdf:type benchmark:Department 
+}
+
+^[query128]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:worksFor _:y .
+  _:y rdf:type benchmark:College 
+}
+
+^[query129]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:teacherOf _:y .
+  _:y rdf:type benchmark:Course 
+}
+
+^[query130]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x ?y
+WHERE {
+  ?y benchmark:teacherOf ?x 
+}
+
+^[query131]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:Organization 
+}
+
+^[query132]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:teacherOf ?x .
+  _:z benchmark:hasMember _:y 
+}
+
+^[query133]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasMember _:y .
+  _:y rdf:type benchmark:Person 
+}
+
+^[query134]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:hasSameHomeTownWith ?x .
+  _:y rdf:type benchmark:Person 
+}
+
+^[query135]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isMemberOf ?x .
+  _:z benchmark:hasStudent _:y .
+  _:z rdf:type benchmark:Organization 
+}
+
+^[query136]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isMemberOf _:y .
+  _:y rdf:type benchmark:Program 
+}
+
+^[query137]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isStudentOf ?x .
+  _:y benchmark:isMemberOf _:z 
+}
+
+^[query138]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:teachingAssistantOf _:y .
+  _:y rdf:type benchmark:Course 
+}
+
+^[query139]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasMember _:y .
+  _:z benchmark:hasStudent _:y .
+  _:z rdf:type benchmark:Organization 
+}
+
+^[query140]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasMember _:y 
+}
+
+^[query141]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:enrollIn _:y 
+}
+
+^[query142]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isStudentOf ?x .
+  _:z benchmark:hasMember _:y 
+}
+
+^[query143]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x ?y
+WHERE {
+  ?x benchmark:hasSameHomeTownWith ?y 
+}
+
+^[query144]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:hasAlumnus ?x .
+  _:y rdf:type benchmark:Organization 
+}
+
+^[query145]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:Dean 
+}
+
+^[query146]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isTaughtBy ?x .
+  _:y rdf:type benchmark:Course 
+}
+
+^[query147]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isTaughtBy _:y .
+  _:y rdf:type benchmark:Faculty 
+}
+
+^[query148]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isStudentOf _:y .
+  _:y rdf:type benchmark:Organization 
+}
+
+^[query149]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasMajor _:y .
+  _:y rdf:type benchmark:AcademicSubject 
+}
+
+^[query150]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x ?y
+WHERE {
+  ?x benchmark:isStudentOf ?y 
+}
+
+^[query151]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasMember _:y .
+  _:z benchmark:hasStudent _:y 
+}
+
+^[query152]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasUndergraduateDegreeFrom _:y .
+  _:y rdf:type benchmark:University 
+}
+
+^[query153]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isStudentOf ?x .
+  _:z benchmark:hasStudent _:y .
+  _:z rdf:type benchmark:Organization 
+}
+
+^[query154]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x ?y
+WHERE {
+  ?y benchmark:hasSameHomeTownWith ?x 
+}
+
+^[query155]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasMember _:y .
+  _:z benchmark:hasMember _:y 
+}
+
+^[query156]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:Employee 
+}
+
+^[query157]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:teachingAssistantOf _:y 
+}
+
+^[query158]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isTaughtBy _:y 
+}
+
+^[query159]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:Research 
+}
+
+^[query160]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x ?y
+WHERE {
+  ?y benchmark:isMemberOf ?x 
+}
+
+^[query161]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isTaughtBy _:y .
+  _:z benchmark:hasMember _:y 
+}
+
+^[query162]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isTaughtBy ?x 
+}
+
+^[query163]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:teacherOf ?x .
+  _:y benchmark:isMemberOf _:z .
+  _:z rdf:type benchmark:Organization 
+}
+
+^[query164]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isMemberOf _:y .
+  _:y rdf:type benchmark:College 
+}
+
+^[query165]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x ?y
+WHERE {
+  ?x benchmark:isFriendOf ?y 
+}
+
+^[query166]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x ?y
+WHERE {
+  ?x benchmark:hasDegreeFrom ?y 
+}
+
+^[query167]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isTaughtBy ?x .
+  _:y rdf:type benchmark:Work 
+}
+
+^[query168]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x ?y
+WHERE {
+  ?y benchmark:isTaughtBy ?x 
+}
+
+^[query169]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:hasAlumnus ?x .
+  _:y rdf:type benchmark:University 
+}
+
+^[query170]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:Person 
+}
+
+^[query171]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isTaughtBy _:y .
+  _:y benchmark:worksFor _:z 
+}
+
+^[query172]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasMasterDegreeFrom _:y 
+}
+
+^[query173]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isMemberOf ?x .
+  _:z benchmark:hasMember _:y 
+}
+
+^[query174]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:teacherOf _:y 
+}
+
+^[query175]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:isMemberOf _:y .
+  _:y rdf:type benchmark:Department 
+}
+
+^[query176]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x ?y
+WHERE {
+  ?x benchmark:isMemberOf ?y 
+}
+
+^[query177]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasStudent _:y .
+  _:z benchmark:hasStudent _:y .
+  _:z rdf:type benchmark:Organization 
+}
+
+^[query178]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasMajor _:y 
+}
+
+^[query179]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:Insterest 
+}
+
+^[query180]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isStudentOf ?x .
+  _:y rdf:type benchmark:Person 
+}
+
+^[query181]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasDegreeFrom _:y .
+  _:y rdf:type benchmark:Organization 
+}
+
+^[query182]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:HumanitiesAndSocial 
+}
+
+^[query183]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:teacherOf ?x .
+  _:y rdf:type benchmark:Faculty 
+}
+
+^[query184]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:Publication 
+}
+
+^[query185]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:like _:y .
+  _:y rdf:type benchmark:TennisClass 
+}
+
+^[query186]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:isMemberOf ?x 
+}
+
+^[query187]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x ?y
+WHERE {
+  ?y benchmark:hasDegreeFrom ?x 
+}
+
+^[query188]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasMember _:y .
+  _:y benchmark:isMemberOf _:z 
+}
+
+^[query189]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:teacherOf ?x .
+  _:y rdf:type benchmark:Person 
+}
+
+^[query190]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:teacherOf ?x .
+  _:y rdf:type benchmark:Employee 
+}
+
+^[query191]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:hasStudent ?x .
+  _:y rdf:type benchmark:Department 
+}
+
+^[query192]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:teachingAssistantOf _:y .
+  _:y rdf:type benchmark:Work 
+}
+
+^[query193]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:University 
+}
+
+^[query194]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:hasUndergraduateDegreeFrom _:y .
+  _:y rdf:type benchmark:Organization 
+}
+
+^[query195]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x rdf:type benchmark:Schedule 
+}
+
+^[query196]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  ?x benchmark:worksFor _:y .
+  _:y rdf:type benchmark:Organization 
+}
+
+^[query197]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:hasMember ?x .
+  _:y rdf:type benchmark:College 
+}
+
+^[query198]
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX benchmark: <http://semantics.crl.ibm.com/univ-bench-dl.owl#>
+SELECT ?x
+WHERE {
+  _:y benchmark:hasMember ?x .
+  _:y rdf:type benchmark:Department 
+}
+
diff --git a/src/resources/pagoda.properties b/src/resources/pagoda.properties
index 64de225..0401d64 100644
--- a/src/resources/pagoda.properties
+++ b/src/resources/pagoda.properties
@@ -1,5 +1,5 @@
 debug=true
 useAlwaysSimpleUpperBound=false
-useSkolemUpperBound=true
+useSkolemUpperBound=false
 
 statisticsDir=/home/alessandro/Dropbox/Oxford/PAGOdA/statistics
\ No newline at end of file
diff --git a/src/uk/ac/ox/cs/pagoda/multistage/MultiStageQueryEngine.java b/src/uk/ac/ox/cs/pagoda/multistage/MultiStageQueryEngine.java
index 2471c80..33f9f03 100644
--- a/src/uk/ac/ox/cs/pagoda/multistage/MultiStageQueryEngine.java
+++ b/src/uk/ac/ox/cs/pagoda/multistage/MultiStageQueryEngine.java
@@ -83,21 +83,6 @@ public class MultiStageQueryEngine extends StageQueryEngine {
         return materialise(program, treatment, gap);
     }
 
-    /**
-     * delta-chase with fixed mad term depth
-     */
-    @Override
-    public int materialiseSkolemly(DatalogProgram dProgram, GapByStore4ID gap) {
-        if(isDisposed()) throw new DisposedException();
-
-        materialise("lower program", dProgram.getLower().toString());
-        Program generalProgram = dProgram.getGeneral();
-        LimitedSkolemisationApplication program =
-                new LimitedSkolemisationApplication(generalProgram, dProgram.getUpperBottomStrategy());
-        Treatment treatment = new Pick4NegativeConceptNaive(this, program);
-        return materialise(program, treatment, gap);
-    }
-
     public int materialise4SpecificQuery(Program generalProgram, QueryRecord record, BottomStrategy upperBottom) {
         if(isDisposed()) throw new DisposedException();
 
diff --git a/src/uk/ac/ox/cs/pagoda/multistage/StageQueryEngine.java b/src/uk/ac/ox/cs/pagoda/multistage/StageQueryEngine.java
index ffca55a..65184ee 100644
--- a/src/uk/ac/ox/cs/pagoda/multistage/StageQueryEngine.java
+++ b/src/uk/ac/ox/cs/pagoda/multistage/StageQueryEngine.java
@@ -21,8 +21,6 @@ public abstract class StageQueryEngine extends BasicQueryEngine {
 
         public abstract int materialiseRestrictedly(DatalogProgram dProgram, GapByStore4ID gap);
 
-        public abstract int materialiseSkolemly(DatalogProgram dProgram, GapByStore4ID gap);
-
         public boolean isValid() {
                 if (!checkValidity) return true; 
                 if (validMaterialisation != null) return validMaterialisation; 
diff --git a/src/uk/ac/ox/cs/pagoda/query/QueryRecord.java b/src/uk/ac/ox/cs/pagoda/query/QueryRecord.java
index 5878a57..291af27 100644
--- a/src/uk/ac/ox/cs/pagoda/query/QueryRecord.java
+++ b/src/uk/ac/ox/cs/pagoda/query/QueryRecord.java
@@ -188,6 +188,10 @@ public class QueryRecord extends Disposable {
         return new AnswerTuplesImp(answerVariables[0], gapAnswerTuples);
     }
 
+    public int getGapAnswersCount() {
+        return gapAnswerTuples.size();
+    }
+
     public String toString() {
         if(isDisposed()) throw new DisposedException();
 
diff --git a/src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java b/src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java
index a567699..01336ba 100644
--- a/src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java
+++ b/src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java
@@ -88,10 +88,20 @@ public class QueryGraph {
                 Visitor visitor = new Visitor(factory, assignment);
                 Set<OWLAxiom> axioms = getPropertyAssertions(assignment);
                 for(Map.Entry<Term, Set<OWLClassExpression>> entry : concepts.map.entrySet()) {
-                        if(existVars.contains(entry.getKey())) continue;
-                        sub = factory.getOWLNamedIndividual(IRI.create(getIndividual(entry.getKey(), assignment).getIRI()));
-                        for(OWLClassExpression clsExp : entry.getValue()) {
-                                axioms.add(factory.getOWLClassAssertionAxiom(clsExp.accept(visitor), sub));
+                        // TODO check correctness!!!
+                        if(existVars.contains(entry.getKey())) {
+                                OWLClassExpression conjunction =
+                                                factory.getOWLObjectIntersectionOf(factory.getOWLThing());
+                                for(OWLClassExpression owlClassExpression : entry.getValue()) {
+                                        conjunction = factory.getOWLObjectIntersectionOf(conjunction, owlClassExpression.accept(visitor));
+                                }
+                                axioms.add(factory.getOWLSubClassOfAxiom(conjunction, factory.getOWLNothing()));
+                        }
+                        else {
+                                sub = factory.getOWLNamedIndividual(IRI.create(getIndividual(entry.getKey(), assignment).getIRI()));
+                                for(OWLClassExpression clsExp : entry.getValue()) {
+                                        axioms.add(factory.getOWLClassAssertionAxiom(clsExp.accept(visitor), sub));
+                                }
                         }
                 }
                 return axioms;
diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
index 93fbc98..0b02e5a 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
@@ -189,12 +189,18 @@ class MyQueryReasoner extends QueryReasoner {
             return;
 
         OWLOntology relevantOntologySubset = extractRelevantOntologySubset(queryRecord);
-//        queryRecord.saveRelevantOntology("./fragment_query" + queryRecord.getQueryID() + ".owl");
+        queryRecord.saveRelevantOntology("/home/alessandro/Desktop/test-relevant-ontology.owl");
 
+//        int gapAnswersCount = queryRecord.getGapAnswersCount();
         if(properties.getUseSkolemUpperBound() &&
                 querySkolemisedRelevantSubset(relevantOntologySubset, queryRecord))
             return;
 
+//        // TODO extract from the previous relevant ontology
+//        // TODO implement details or remove it
+//        if(queryRecord.getGapAnswersCount() < gapAnswersCount)
+//            extractRelevantOntologySubset(queryRecord); // takes the relevant ontology from the record
+
         Timer t = new Timer();
         Checker summarisedChecker = new HermitSummaryFilter(queryRecord, properties.getToCallHermiT());
         summarisedChecker.check(queryRecord.getGapAnswers());
diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java
index 3a057ec..e8daa3b 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java
@@ -206,7 +206,7 @@ public abstract class QueryReasoner extends Disposable {
                    if you call twice, you will end up with a json file with multiple roots */
         if(answerWriter != null) gson.toJson(queryRecords, answerWriter);
 //              queryRecords.stream().forEach(record -> Utility.logDebug(gson.toJson(record)));
-        queryRecords.stream().forEach(record -> record.dispose());
+        queryRecords.stream().forEach(QueryRecord::dispose);
     }
 
     @Override
diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java b/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java
index 35db0f2..9cfc773 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java
@@ -101,6 +101,7 @@ public class HermitChecker extends Checker {
 
 //              for (OWLAxiom axiom: toCheckAxioms)     System.out.println(axiom.toString());
 
+//              Utility.logInfo(toCheckAxioms);
                 if(hermit.isEntailed(toCheckAxioms)) {
                         Utility.logDebug("@TIME to check one tuple: " + t.duration());
                         return true;
diff --git a/src/uk/ac/ox/cs/pagoda/rules/Program.java b/src/uk/ac/ox/cs/pagoda/rules/Program.java
index afc32d4..85000e3 100644
--- a/src/uk/ac/ox/cs/pagoda/rules/Program.java
+++ b/src/uk/ac/ox/cs/pagoda/rules/Program.java
@@ -119,7 +119,7 @@ protected PredicateDependency dependencyGraph;
                 } catch(IOException e) {
                         e.printStackTrace();
                 }
-                Utility.logDebug("The rules are saved in " + getOutputPath() + ".");
+                Utility.logInfo("The rules are saved in " + getOutputPath() + ".");
         }
 
         @Override
diff --git a/src/uk/ac/ox/cs/pagoda/util/PagodaProperties.java b/src/uk/ac/ox/cs/pagoda/util/PagodaProperties.java
index e501821..4991d0d 100644
--- a/src/uk/ac/ox/cs/pagoda/util/PagodaProperties.java
+++ b/src/uk/ac/ox/cs/pagoda/util/PagodaProperties.java
@@ -43,14 +43,14 @@ public class PagodaProperties {
                                 defaultUseAlwaysSimpleUpperBound =
                                                 Boolean.parseBoolean(config.getProperty("useAlwaysSimpleUpperBound"));
                                 if(defaultUseAlwaysSimpleUpperBound)
-                                        logger.info("By default the simple upper bound is always used");
+                                        logger.debug("By default the simple upper bound is always used");
                         }
                         if(config.containsKey("useSkolemUpperBound")) {
                                 defaultUseSkolemUpperBound = Boolean.parseBoolean(config.getProperty("useSkolemUpperBound"));
                                 if(defaultUseSkolemUpperBound)
-                                        logger.info("By default the Skolem upper bound is enabled");
+                                        logger.debug("By default the Skolem upper bound is enabled");
                                 else
-                                        logger.info("By default the Skolem upper bound is disabled");
+                                        logger.debug("By default the Skolem upper bound is disabled");
                         }
 
                 } catch(IOException e) {
diff --git a/test/resources/BugTests.xml b/test/resources/BugTests.xml
new file mode 100644
index 0000000..5782bd4
--- /dev/null
+++ b/test/resources/BugTests.xml
@@ -0,0 +1,17 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE suite SYSTEM "http://testng.org/testng-1.0.dtd" >
+
+<suite name="BugTests">
+
+    <test name="BugTest">
+        <groups>
+            <run>
+                <include name="BugTesters"/>
+            </run>
+        </groups>
+        <classes>
+            <class name="uk.ac.ox.cs.pagoda.global_tests.MinimumCardinalityTest"/>
+        </classes>
+    </test>
+
+</suite>
\ No newline at end of file
diff --git a/test/resources/LightTests.xml b/test/resources/LightTests.xml
index 2bc8dac..69cb572 100644
--- a/test/resources/LightTests.xml
+++ b/test/resources/LightTests.xml
@@ -5,8 +5,8 @@
     <test name="light">
         <groups>
             <run>
-                <!--<include name="light"/>-->
-                <include name="justExecute"/>
+                <include name="light"/>
+                <!--<include name="justExecute"/>-->
             </run>
         </groups>
         <classes>
diff --git a/test/uk/ac/ox/cs/pagoda/global_tests/MinimumCardinalityTest.java b/test/uk/ac/ox/cs/pagoda/global_tests/MinimumCardinalityTest.java
new file mode 100644
index 0000000..71c20c1
--- /dev/null
+++ b/test/uk/ac/ox/cs/pagoda/global_tests/MinimumCardinalityTest.java
@@ -0,0 +1,101 @@
+package uk.ac.ox.cs.pagoda.global_tests;
+
+import org.semanticweb.owlapi.apibinding.OWLManager;
+import org.semanticweb.owlapi.model.*;
+import org.testng.Assert;
+import org.testng.annotations.Test;
+import uk.ac.ox.cs.pagoda.query.AnswerTuple;
+import uk.ac.ox.cs.pagoda.query.AnswerTuples;
+import uk.ac.ox.cs.pagoda.reasoner.QueryReasoner;
+import uk.ac.ox.cs.pagoda.util.TestUtil;
+
+import java.io.IOException;
+import java.nio.file.Files;
+import java.nio.file.Paths;
+
+public class MinimumCardinalityTest {
+
+    public static final String NS = "http://example.org/test#%s";
+
+    private IRI getEntityIRI(String name) {
+        return IRI.create(String.format(NS, name));
+    }
+
+    @Test(groups = {"BugTesters"})
+    public void test() throws OWLOntologyCreationException, IOException, OWLOntologyStorageException {
+
+        /*
+         * Build test ontology
+         * */
+
+        OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
+        OWLDataFactory factory = manager.getOWLDataFactory();
+        OWLOntology ontology = manager.createOntology();
+
+        OWLClass student = factory.getOWLClass(getEntityIRI("Student"));
+        manager.addAxiom(ontology, factory.getOWLDeclarationAxiom(student));
+        OWLClass course = factory.getOWLClass(getEntityIRI("Course"));
+        manager.addAxiom(ontology, factory.getOWLDeclarationAxiom(course));
+        OWLClass hardWorkingStudent = factory.getOWLClass(getEntityIRI("HardWorkingStudent"));
+        manager.addAxiom(ontology, factory.getOWLDeclarationAxiom(hardWorkingStudent));
+        OWLNamedIndividual a = factory.getOWLNamedIndividual(getEntityIRI("a"));
+        OWLNamedIndividual b = factory.getOWLNamedIndividual(getEntityIRI("b"));
+        OWLNamedIndividual c1 = factory.getOWLNamedIndividual(getEntityIRI("c1"));
+        OWLNamedIndividual c2 = factory.getOWLNamedIndividual(getEntityIRI("c2"));
+        OWLNamedIndividual c3 = factory.getOWLNamedIndividual(getEntityIRI("c3"));
+        OWLNamedIndividual d1 = factory.getOWLNamedIndividual(getEntityIRI("d1"));
+        OWLNamedIndividual d2 = factory.getOWLNamedIndividual(getEntityIRI("d2"));
+        OWLNamedIndividual d3 = factory.getOWLNamedIndividual(getEntityIRI("d3"));
+        OWLObjectProperty takesCourse = factory.getOWLObjectProperty(IRI.create(String.format(NS, "takesCourse")));
+        manager.addAxiom(ontology, factory.getOWLDeclarationAxiom(takesCourse));
+
+        // Class assertions
+        manager.addAxiom(ontology, factory.getOWLClassAssertionAxiom(student, a));      // Student(a)
+        manager.addAxiom(ontology, factory.getOWLClassAssertionAxiom(student, b));      // Student(b)
+        manager.addAxiom(ontology, factory.getOWLClassAssertionAxiom(course, c1));      // Course(c1)
+        manager.addAxiom(ontology, factory.getOWLClassAssertionAxiom(course, c2));      // Course(c2)
+        manager.addAxiom(ontology, factory.getOWLClassAssertionAxiom(course, c3));      // Course(c3)
+        manager.addAxiom(ontology, factory.getOWLClassAssertionAxiom(course, d1));      // Course(d1)
+        manager.addAxiom(ontology, factory.getOWLClassAssertionAxiom(course, d2));      // Course(d2)
+        manager.addAxiom(ontology, factory.getOWLClassAssertionAxiom(course, d3));      // Course(d3)
+
+        // Role assertions
+        manager.addAxiom(ontology, factory.getOWLObjectPropertyAssertionAxiom(takesCourse, a, c1));     // takesCourse(a,c1)
+        manager.addAxiom(ontology, factory.getOWLObjectPropertyAssertionAxiom(takesCourse, a, c2));     // takesCourse(a,c2)
+        manager.addAxiom(ontology, factory.getOWLObjectPropertyAssertionAxiom(takesCourse, a, c3));     // takesCourse(a,c3)
+        manager.addAxiom(ontology, factory.getOWLObjectPropertyAssertionAxiom(takesCourse, b, d1));     // takesCourse(b,d1)
+        manager.addAxiom(ontology, factory.getOWLObjectPropertyAssertionAxiom(takesCourse, b, d2));     // takesCourse(b,d2)
+        manager.addAxiom(ontology, factory.getOWLObjectPropertyAssertionAxiom(takesCourse, b, d3));     // takesCourse(b,d3)
+
+        // Minimum cardinality axiom
+        manager.addAxiom(ontology,
+                         factory.getOWLEquivalentClassesAxiom(hardWorkingStudent,
+                                                              factory.getOWLObjectMinCardinality(3,
+                                                                                                 takesCourse)));
+
+        manager.saveOntology(ontology, Files.newOutputStream(Paths.get("/home/alessandro/Desktop/test-ontology.owl")));
+
+        /*
+         * Test one query
+         * */
+
+        QueryReasoner pagoda = QueryReasoner.getInstance(ontology);
+        pagoda.loadOntology(ontology);
+        if (pagoda.preprocess()) {
+            String query = "select distinct ?x ?y " +
+                    " where { "
+                    + " ?x <" + takesCourse.toStringID() + "> _:z . "
+                    + " ?y <" + takesCourse.toStringID() + "> _:z " +
+                    " }";
+            AnswerTuples answers = pagoda.evaluate(query);
+            int count = 0;
+            for (AnswerTuple ans; answers.isValid(); answers.moveNext()) {
+                ans = answers.getTuple();
+                TestUtil.logInfo(ans);
+                count++;
+            }
+            Assert.assertEquals(count, 2);
+        }
+        pagoda.dispose();
+    }
+}
diff --git a/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaUOBM.java b/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaUOBM.java
index 1d9f1e6..6daeacc 100644
--- a/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaUOBM.java
+++ b/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaUOBM.java
@@ -65,13 +65,11 @@ public class TestPagodaUOBM {
                                                           .ontology(Paths.get(ontoDir, "uobm/univ-bench-dl.owl"))
                                                           .data(Paths.get(ontoDir, "uobm/data/uobm" + number + ".ttl"))
                                 .query(Paths.get(ontoDir, "uobm/queries/uobm_sygenia.sparql"))
-//                                                        .answer(answers)
                                 .classify(true)
                                 .hermit(true)
                                 .build();
 
                 pagoda.run();
-//              CheckAnswers.assertSameAnswers(answers, givenAnswers);
         }
 
         @Test(groups = {"sygenia"})
@@ -82,21 +80,14 @@ public class TestPagodaUOBM {
         @Test(groups = {"heavy"}, dataProvider = "UOBMNumbers")
         public void answersCorrectness_sygenia_allBlanks(int number) throws IOException {
                 String ontoDir = TestUtil.getConfig().getProperty("ontoDir");
-//              Path answers = Paths.get(File.createTempFile("answers", ".json").getAbsolutePath());
-//              new File(answers.toString()).deleteOnExit();
-//              Path givenAnswers = TestUtil.getAnswersFilePath("answers/pagoda-uobm" + number + ".json");
-
-                Pagoda pagoda = Pagoda.builder()
-                                                          .ontology(Paths.get(ontoDir, "uobm/univ-bench-dl.owl"))
-                                                          .data(Paths.get(ontoDir, "uobm/data/uobm" + number + ".ttl"))
-                                .query(Paths.get(ontoDir, "uobm/queries/uobm_sygenia_all-blanks.sparql"))
-//                                                        .answer(answers)
-                                .classify(true)
-                                .hermit(true)
-                                .build();
 
-                pagoda.run();
-//              CheckAnswers.assertSameAnswers(answers, givenAnswers);
+                Pagoda.builder()
+                          .ontology(Paths.get(ontoDir, "uobm/univ-bench-dl.owl"))
+                          .data(Paths.get(ontoDir, "uobm/data/uobm" + number + ".ttl"))
+                          .query(Paths.get(ontoDir, "uobm/queries/uobm_sygenia_all-blanks.sparql"))
+                          .classify(true)
+                          .hermit(true)
+                          .build().run();
         }
 
         @Test(groups = {"justExecute"})
@@ -104,14 +95,12 @@ public class TestPagodaUOBM {
                 String ontoDir = TestUtil.getConfig().getProperty("ontoDir");
 
                 Pagoda.builder()
-                          .ontology(Paths.get(ontoDir, "uobm/univ-bench-dl.owl"))
+                          .ontology(Paths.get(ontoDir, "uobm/univ-bench-dl-modified.owl"))
                           .data(Paths.get(ontoDir, "uobm/data/uobm1.ttl"))
-                                .query(Paths.get(ontoDir, "uobm/queries/existential_queries.sparql"))
-//                        .answer(answers)
-                                .classify(true)
-                                .hermit(true)
-                                .skolem(false)
-                                .build()
-                                .run();
+                          .query(Paths.get(ontoDir, "uobm/queries/existential_queries.sparql"))
+                          .classify(true)
+                          .hermit(true)
+                          .build()
+                          .run();
         }
 }