この記事では、「なぜaはCの例であるのに、bはそうでないのか？」という質問に対する対比的ABox説明の概念が紹介されています。ポジティブな含意を説明するアプローチや欠落している含意を説明するアプローチは存在しますが、対比説明はこれら二つを同時に考慮し、aとbの共通点と相違点に焦点を当てることができます。著者たちは、記述論理に基づくABox推論の特別なケースのための対比説明の適切な概念を発展させ、異なる最適性基準に応じたさまざまなバリエーションの計算複雑性を分析しました。最初の対比説明を計算する手法を実装し、現実の知識ベースの生成問題を用いて評価を行いました。この研究は、AIとコンピュータサイエンスの論理に関連する分野に貢献することを目的としています。