Package com.clarkparsia.explanation

Interface Summary
ExplanationGenerator

Title: ExplanationGenerator

Description: The explanation generator interface for returning one or more explanations for an unsatisfiable class.

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 Description: Extension to SingleExplanationGenerator to allow single explanation generators to be efficiently used within the HSTExplanationGenerator Copyright: Copyright (c) 2008 Company: Clark & Parsia, LLC.
 

Class Summary
BlackBoxExplanation

Title:

Description: Implementation of a SingleExplanationGenerator interface.

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

Description: Converts an axiom into a concept such that the axiom is entailed iff the concept is unsatisfiable.

SingleExplanationGeneratorImpl

Title: SingleExplanationGeneratorImpl

Description: An abstract implementation of SingleExplanationGenerator that can be used as the basis for different explanation generator techniques.