code: @Override
      public Set<OWLAxiom> getPendingAxiomRemovals() {
          Set<OWLAxiom> removed = new HashSet<OWLAxiom>();
          for (OWLOntologyChange change : rawChanges) {
              if (change instanceof RemoveAxiom) {
                  removed.add(change.getAxiom());
              }
          }
          return removed;
      }
docs: Gets the axioms that as a result of ontology changes need to removed to
  the reasoner to synchronise it with the root ontology imports closure. If
  the buffering mode is
  {@link org.semanticweb.owlapi.reasoner.BufferingMode#NON_BUFFERING} then
  there will be no pending axiom additions.
  
  @return The set of axioms that need to added to the reasoner to the
  reasoner to synchronise it with the root ontology imports
  closure.