com.clarkparsia.owlapi.explanation
Interface MultipleExplanationGenerator

All Superinterfaces:

ExplanationGenerator, SingleExplanationGenerator

All Known Implementing Classes:

HSTExplanationGenerator

public interface MultipleExplanationGenerator
extends ExplanationGenerator, SingleExplanationGenerator

Description: The explanation generator interface for returning all the explanations for an unsatisfiable class. This interface extends the SingleExplanationGenerator so it can be used to generate single explanations, too. As in SingleExplanationGenerator, SatisfiabilityConverter can be used to convert an arbitrary axiom into a class description that will be passed as an argument to the explanation functions.

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Method Summary

void	setProgressMonitor(ExplanationProgressMonitor progressMonitor) Sets the progress monitor for this multiple explanation generator.

Methods inherited from interface com.clarkparsia.owlapi.explanation.ExplanationGenerator

getExplanation, getExplanations, getExplanations

Methods inherited from interface com.clarkparsia.owlapi.explanation.SingleExplanationGenerator

getExplanation, getOntology, getOntologyManager, getReasoner, getReasonerFactory

Method Detail

setProgressMonitor

void setProgressMonitor(ExplanationProgressMonitor progressMonitor)

Sets the progress monitor for this multiple explanation generator.

Parameters:

progressMonitor - The progress monitor.