fixed all the tests in TBoxSaturationTest
LUBMQueryTest
rename TBoxSaturation to TBoxReasoner
rename QueryRewriting to HSHIQQueryRewriter