re-fixed the bug with converting of nested inverses without using the
getSimplified() method of OWL API (how it was intended to be used
initially)