描述逻辑SHIN的ABox一致性判定算法
묘술라집SHIN적ABox일치성판정산법
ABox consistency decision algorithm for description logic SHIN
저자의 최근 논문