Forgetting-Based Abduction in ALC
A Case for Abductive Reasoning over Ontologies