rule extraction from artificial neural networks under background knowledge .
The description logic handbook: theory, implementation, and applications