Package com.clarkparsia.owlapi.explanation

Interface Summary

Interface	Description
ExplanationGenerator	a generator for explanations.
MultipleExplanationGenerator	multiple explanation generator.
SingleExplanationGenerator	Explanation generator for a single explanation.
TransactionAwareSingleExpGen	transactional support for single explanation generator.

Class Summary

Class	Description
BlackBoxExplanation	A black box explanation.
DefaultExplanationGenerator	The Class DefaultExplanationGenerator.
HSTExplanationGenerator	HST explanation generator.
SatisfiabilityConverter	Satisfiability converter.
SingleExplanationGeneratorImpl	Implementation of single explanation generator.