protected String computeHSShortLog( TreeSearch<FormulaSet<OWLLogicalAxiom>, OWLLogicalAxiom> search, OWLTheory theory, FormulaSet<OWLLogicalAxiom> diagnoses, List<Double> queries, QSSType type, String message, OWLTheory queryAnswerTheory) { SimulatedSession session = new SimulatedSession(); session.setShowElRates(false); TableList entry = new TableList(); session.setEntry(entry); session.setMessage(message); session.setTargetD(diagnoses); session.setScoringFunct(type); session.setTheory(theory); session.setQueryAnswerTheory(queryAnswerTheory); session.setSearch(search); String out = session.simulateQuerySession(); FormulaSet<OWLLogicalAxiom> diag = getMostProbable(search.getDiagnoses()); logger.info("found Diag: " + CalculateDiagnoses.renderAxioms(diag)); boolean foundCorrectD = diagnoses.containsAll( diag); // with ConflictTreeTest only a subset of the diagnosis could be returned if (this.getClass() != ConflictTreeTest.class) { foundCorrectD = diag.equals(diagnoses); theory.getKnowledgeBase().clearTestCases(); // don't clear if called from ConflictTreeTest } search.reset(); // Assert.assertTrue(foundCorrectD); queries.add(entry.getMeanQuery()); return out; }