Package com.clarkparsia.owlapi.explanation

Explanation package

See: Description

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
HSTExplanationGenerator	HST explanation generator.
SatisfiabilityConverter	Satisfiability converter.
SingleExplanationGeneratorImpl	The Class SingleExplanationGeneratorImpl.

Package com.clarkparsia.owlapi.explanation Description

Explanation package