fixed typos
added congruence to 'konwledge representation'