|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| 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. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||