KR -> KE

(Wark: representation -> expression.
Knowledge representation -> knowledge expression.)