Forgetting-Based Abduction in ALC
Tableau-Based ABox Abduction for the ALCHO Description Logic