Reverted so reasoners do not need to change if they implemented
OWLOntologyChangeListener.