ABox Abduction via Forgetting in ALC (Long Version)

Warren Del-Pinto, Renate A. Schmidt

Abductive reasoning generates explanatory hypotheses for new observations using prior knowledge. This paper investigates the use of forgetting, also known as uniform interpolation,…