Package com.clarkparsia.explanation

Interface Summary

ExplanationGenerator	Title: ExplanationGenerator
MultipleExplanationGenerator	Description: The explanation generator interface for returning all the explanations for an unsatisfiable class.
SingleExplanationGenerator	Description: The explanation generator interface for returning a single explanation for an unsatisfiable class.
TransactionAwareSingleExpGen	Title: Transaction Aware Single Explanation Generator

Class Summary

BlackBoxExplanation	Title:
DefaultExplanationGenerator	Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Jan-2008
HSTExplanationGenerator	Description: An implementation of MultipleExplanationGenerator interface using Reiter's Hitting Set Tree (HST) algorithm as described in Aditya Kalyanpur's thesis.
SatisfiabilityConverter	Title: SatisfiabilityConverter
SingleExplanationGeneratorImpl	Title: SingleExplanationGeneratorImpl