粗描述逻辑RALCQ的Tableau推理
조묘술라집RALCQ적Tableau추리
A Tableau Decision Procedure for Rough Description Logic RALCQ
저자의 최근 논문