ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics (ArXiv cs.LO Recent Papers, 2026)