Axiomatic Evaluation of Epistemic Forgetting Operators