Removed getDigest from KbAxiomSetManager