본 논문은 "a는 C의 인스턴스이지만, b는 그렇지 않은 이유"와 같은 질문에 답하기 위해 대비 ABox 설명을 도입한다. 기존의 긍정적 함의 (C(a)가 지식 베이스에 의해 왜 함의되는지)와 누락된 함의 (C(b)가 왜 함의되지 않는지)를 개별적으로 설명하는 방식과 달리, 대비 설명은 a와 b 사이의 관련 공통점과 차이점에 초점을 맞춘다. 본 논문에서는 명세 논리 온톨로지를 사용한 ABox 추론의 특수한 경우에 대한 대비 설명을 개발하고, 다양한 최적성 기준 하에서 경량 및 보다 표현력이 풍부한 명세 논리를 고려하여 다양한 변형의 계산 복잡성을 분석한다. 또한 대비 설명을 계산하는 첫 번째 방법을 구현하고, 실제 지식 베이스를 위해 생성된 문제에 대해 이를 평가했다.
