fixed a bug with disjointness axioms: was a wrong initialization of
directAxiomInserter_ in OntologyIndexImpl; added a few logging messages
that helped to diagnose that; will need to add a check that
occurrence counters never become negative