knowledge representation{=KR}