telescoping methods in OWLOntologyManager moved to default