Package com.clarkparsia.explanation

Interface Summary

ExplanationGenerator	Title: ExplanationGenerator
MultipleExplanationGenerator	Description: The explanation generator interface for returning all the explanations for an unsatisfiable class.
ReasonerFactory	Copyright: Copyright (c) 2007
SingleExplanationGenerator	Description: The explanation generator interface for returning a single explanation for an unsatisfiable class.

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