| Interface | Description |
|---|---|
| ExplanationGenerator |
a generator for explanations
|
| MultipleExplanationGenerator |
multiple explanation generator
|
| SingleExplanationGenerator |
Explanation generator for a single explanation
|
| TransactionAwareSingleExpGen |
transactional support for single explanation generator
|
| Class | Description |
|---|---|
| BlackBoxExplanation |
A black box explanation
|
| DefaultExplanationGenerator |
Author: Matthew Horridge
Clark & Parsia, LLC Bio-Health Informatics Group Date: 24-Jan-2008 |
| HSTExplanationGenerator |
HST explanation generator
|
| SatisfiabilityConverter |
Satisfiability converter
|
| SingleExplanationGeneratorImpl |
Copyright © 2013 The University of Manchester. All Rights Reserved.