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 MultipleExpalanationGenerator

Author:

Matthew Horridge, Clark & Parsia, LLC, Bio-Health Informatics Group, Date: 26-Nov-2007

Method Summary

Modifier and Type	Method and Description
void	foundAllExplanations() Called when all explanations have been found.
void	foundExplanation(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(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.