Find out how the explanation component works in 5.1
Load pizza.owl, goto Entities, start reasoner change to Inferred and click question mark
This has to be evaluated because our repair feature will use explanations for inconsistencies or entailed axioms which should not be entailed (see issue #63 (closed)).