com.clarkparsia.owlapi.explanation.util
Interface ExplanationProgressMonitor

All Known Implementing Classes:

SilentExplanationProgressMonitor

public interface ExplanationProgressMonitor

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Nov-2007

A progress monitor for an explanation generator. The progress monitor should be used with an MultipleExpalanationGenerator

Method Summary

void	foundAllExplanations() Called when all explanations have been found.
void	foundExplanation(java.util.Set<OWLAxiom> axioms) Called when an explanation has been found.
boolean	isCancelled() Determines if the process of generating explanations has been cancelled.

Method Detail

isCancelled

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

void foundExplanation(java.util.Set<OWLAxiom> axioms)

Called when an explanation has been found.

Parameters:

axioms - The axioms that constitute the explanation

foundAllExplanations

void foundAllExplanations()

Called when all explanations have been found.