본 논문은 Semantic Web에서 다양한 정보원으로부터 오는 상반되는 정보로 인해 발생하는 Description Logics Knowledge Bases (KBs)의 불일치 문제를 다룹니다. 기존 추론 알고리즘은 불일치 KB를 처리하지 못하므로, 불일치를 제거하기 위해 KB 디버깅이 필요합니다. 본 논문에서는 DISPONTE라는 기존의 확률적 의미론을 활용하여 이 문제를 해결하고, 불일치 KB에서도 질의를 허용하는 방법을 제시합니다. TRILL과 BUNDLE 추론기에 해당 접근 방식을 구현하고 실험적으로 검증하였으며, 기존의 DL 추론 작업에서 가장 확립된 의미론 중 하나인 복구 의미론과의 공식적인 비교도 수행합니다.