*/
public Set<OWLAxiom> getExplanation() throws OWLRuntimeException {
Set<ATermAppl> explanation = kb.getExplanationSet();
if( explanation == null || explanation.isEmpty() )
throw new OWLRuntimeException( "No explanation computed" );
return convertAxioms( explanation );
}