一种在DL-Lite中计算本体最小不可满足保持子集的算法
일충재DL-Lite중계산본체최소불가만족보지자집적산법
An Algorithm for Calculating Minimal Unsatisfiability-Preserving Subsets of Ontology in DL-Lite
저자의 최근 논문