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