public int compare(Explanation<OWLAxiom> o1, Explanation<OWLAxiom> o2) { int diff = getAxiomTypes(o1).size() - getAxiomTypes(o2).size(); if (diff != 0) { return diff; } diff = getClassExpressionTypes(o1).size() - getClassExpressionTypes(o2).size(); if (diff != 0) { return diff; } return o1.getSize() - o2.getSize(); } });
transmitter.recordMeasurement(findOneInfo, "entailed", entailed); transmitter.recordMeasurement(findOneInfo, "self justification", result.isJustificationEntailment()); transmitter.recordMeasurement(findOneInfo, "justification size", result.getSize()); transmitter.recordTiming(findOneInfo, "time", justificationTimer); recordJustification(entailment, findOneInfo, result);
transmitter.recordMeasurement(info, "justification size", expl.getSize()); transmitter.recordMeasurement(info, "delta axioms size", flattened.size());