| Interface | Description |
|---|---|
| ExplanationGenerator<E> |
Author: Matthew Horridge
The University Of Manchester Information Management Group Date: 03-Sep-2008 Represents a general purpose interface for obtaining explanations. |
| ExplanationGeneratorFactory<E> |
Author: Matthew Horridge
The University Of Manchester Information Management Group Date: 03-Sep-2008 An interface that describes a factory that can create an explanation generator. |
| ExplanationProgressMonitor<E> |
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 28-Nov-2008 |
| RootDerivedReasoner |
Author: Matthew Horridge
The University Of Manchester Information Management Group Date: 07-Sep-2008 Allows the root unsatisfiable classes to be obtained for a set of ontologies. |
| Class | Description |
|---|---|
| ConsoleExplanationProgressMonitor<E> |
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 28-Nov-2008 |
| Explanation<E> |
Author: Matthew Horridge
The University Of Manchester Information Management Group Date: 03-Sep-2008 Represents an explanation for an entailment. |
| ExplanationManager |
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 19-Nov-2008 An explanation utility class that creates the default explanation generators. |
| ExplanationTelemetryWrapper |
Author: Matthew Horridge
The University of Manchester Bio-Health Informatics Group Date: 26/01/2011 |
| NullExplanationProgressMonitor<E> |
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 28-Nov-2008 A progress monitor that does nothing and specifies that the explanation generator should continue finding explanations. |
| Exception | Description |
|---|---|
| ExplanationException |
Author: Matthew Horridge
The University Of Manchester Information Management Group Date: 03-Sep-2008 |
| ExplanationGeneratorInterruptedException |
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 25-Mar-2010 |
| NotEntailedException |
Author: Matthew Horridge
The University Of Manchester Information Management Group Date: 03-Sep-2008 An explanation exception that describes the situation where an entailment does not hold in a set of source axioms. |
| UnsupportedEntailmentException |
Author: Matthew Horridge
The University Of Manchester Information Management Group Date: 03-Sep-2008 |
Copyright © 2014. All rights reserved.