private void recordJustification(E entailment, TelemetryInfo findOneInfo, Explanation<E> result) { TelemetryTransmitter transmitter = TelemetryTransmitter.getTransmitter(); if (!result.isEmpty() && entailment instanceof OWLAxiom) { @SuppressWarnings("unchecked") Explanation<OWLAxiom> result2 = (Explanation<OWLAxiom>) result; ExplanationTelemetryWrapper telemetryObject = new ExplanationTelemetryWrapper(result2, m); transmitter.recordObject(findOneInfo, "justification", ".owl.xml", telemetryObject); } }
private void recordJustifications(Set<Explanation<OWLAxiom>> expls, String name) { TelemetryInfo info = new DefaultTelemetryInfo(name); TelemetryTransmitter transmitter = TelemetryTransmitter.getTransmitter(); try { transmitter.beginTransmission(info); for(Explanation<OWLAxiom> expl : expls) { transmitter.recordObject(info, "justification", "", new ExplanationTelemetryWrapper(expl, m)); } } finally { transmitter.endTransmission(info); } }