Add interface to define test cases from inferred axioms
Axiome, die der Reasoner im Protege „Entities“ Tab als „inferred“ herleitet (gelb hinterlegt), durch einen Klick (Button) zu den positiven/negativen Test Cases hinzufügen (à Ersparen von Tipparbeit für User