你能辨别出区别吗？基于对比的 ABox 蕴含解释

我们提出了对比 ABox 解释的概念，用于回答此类问题："为什么 a 是 C 的实例，而 b 不是？"。虽然存在多种方法可以分别解释正向蕴含（知识库为何蕴含 C(a)）以及缺失蕴含（为何不蕴含 C(b)），但对比解释同时考虑两者，能够聚焦于 a 与 b 之间的相关共性与差异。我们为描述逻辑本体中的 ABox 推理问题开发了合适的对比解释概念，并在不同轻量级与更表达性描述逻辑中，分析了不同最优性准则下的计算复杂性。我们实现了一个计算一种对比解释变体的方法，并在真实知识库的生成问题上进行了评估。