support for meet and join on the knowledge lattice