org.semanticweb.owl.explanation.api

Interfaces

• ExplanationGenerator
• ExplanationGeneratorFactory
• ExplanationProgressMonitor
• RootDerivedReasoner

Classes

• ConsoleExplanationProgressMonitor
• Explanation
• ExplanationManager
• ExplanationTelemetryWrapper
• NullExplanationProgressMonitor

Exceptions

• ExplanationException
• ExplanationGeneratorInterruptedException
• NotEntailedException
• UnsupportedEntailmentException