Added a new test case
refactor owlentailments class
Added inverses in the results of SPARQL entailments