Forgetting-Based Abduction in ALC
ABox Abduction in the Description Logic ALC