ABox Abduction via Forgetting in ALC (Long Version)