fixed converting of nested inverses from OWL API to ELK; bug reported by Ana