make trimToSize use the actual interface checked and not OWLOntologyImpl