Interpolation in Knowledge Representation