On the Computation of Distributed Knowledge as the Greatest Lower Bound of Knowledge