一种带缺省推理的描述逻辑
일충대결성추리적묘술라집
A Description Logic with Default Reasoning
저자의 최근 논문