Better message for inconsistent background along with test cases

For Example use the following ontology

A SubClassOf not (B) B SubClassOf A

both axioms are in background.

The debugger throws an exception an shows the exception:

Here the user should get an appropriate message instead of the exception. For example "Correct Axioms contain inconsistent axioms" The user should get the possibility to decide what shall be done (for example please move to KB)