Del-Pinto, W.; Schmidt, R. A. ABox Abduction via Forgetting in ALC. AAAI 2019, 33, 2768-2775.