Redesign of Explanation in Repair Interface

• Instead of activating the explanation of an axiom by clicking into the list item, the explanation feature in the repair interface should be available via icon (button)
• Expand explanation algorithm: for explanations of consistent ontologies: if explantion is empty then check isEntailed(n) for all negative test cases NTC (n element of NTC) and add those n that are entailed to the explanation