Refactored OWLAxiomCollection for uniform use of import closure