Package org.liveontologies.protege.explanation.justification.service

Interface JustificationListener

All Known Subinterfaces:
JustificationComputationListener
All Known Implementing Classes:
ExplanationGeneratorProgressDialog, JustificationManager, JustificationProgressPanel
public interface JustificationListener
A object using which the computed justifications are reported
Author:
Alexander Stupnikov Date: 27-02-2017, Yevgeny Kazakov

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    justificationFound(Set<org.semanticweb.owlapi.model.OWLAxiom> justification)
    called each time a new justification is computed

  • Method Details

    • justificationFound

      void justificationFound(Set<org.semanticweb.owlapi.model.OWLAxiom> justification)
      called each time a new justification is computed
      Parameters:
      justification - the computed justification