Package com.clarkparsia.owlapi.explanation.util

Interface ExplanationProgressMonitor

All Known Implementing Classes:
SilentExplanationProgressMonitor
public interface ExplanationProgressMonitor
A progress monitor for an explanation generator. The progress monitor should be used with an MultipleExplanationGenerator
Since:
2.2.0
Author:
Matthew Horridge, Clark & Parsia, LLC, Bio-Health Informatics Group

  • Method Summary

    Modifier and Type
    Method
    Description
    default void
    foundAllExplanations()
    Called when all explanations have been found.
    default void
    foundExplanation(Set<OWLAxiom> axioms)
    Called when an explanation has been found.
    default boolean
    isCancelled()
    Determines if the process of generating explanations has been cancelled.

  • Method Details

    • isCancelled

      default boolean isCancelled()
      Determines if the process of generating explanations has been cancelled.
      Returns:
      true if the process has been cancelled, or false if the process hasn't been cancelled.

    • foundExplanation

      default void foundExplanation(Set<OWLAxiom> axioms)
      Called when an explanation has been found.
      Parameters:
      axioms - The axioms that constitute the explanation

    • foundAllExplanations

      default void foundAllExplanations()
      Called when all explanations have been found.