ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
arXiv:2605.01341v1 Announce Type: cross
Abstract: Given a knowledge base (KB) with a non-entailed fact, the ABox abduction problem asks for possible extensions of the KB that would entail this fact. This problem has many applications, ranging from dia…