ABox Abduction in the Description Logic ALC
The description logic handbook: theory, implementation, and applications