Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT