Tests for KbAxiomSetManager