Enhanced axiom tracking for OWLAPI reasoner implementation