correct expected result for the library test
restore the use of the owl API and owl reasoner