(A) frame-and horn claude-based hybrid knowledge representation = 틀과 혼 논리절에 기초한 혼성 지식 표현에 관한 연구