changed position OWLEntailments class
Added new tests