Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies