Package | Description |
---|---|
com.clarkparsia.owlapi.explanation |
Explanation package
|
com.clarkparsia.owlapi.explanation.util |
Explanation utils
|
Modifier and Type | Method and Description |
---|---|
void |
MultipleExplanationGenerator.setProgressMonitor(ExplanationProgressMonitor progressMonitor)
Sets the progress monitor for this multiple explanation generator.
|
void |
HSTExplanationGenerator.setProgressMonitor(ExplanationProgressMonitor progressMonitor) |
Constructor and Description |
---|
DefaultExplanationGenerator(OWLOntologyManager man,
OWLReasonerFactory reasonerFactory,
OWLOntology ontology,
ExplanationProgressMonitor progressMonitor)
Instantiates a new default explanation generator.
|
DefaultExplanationGenerator(OWLOntologyManager man,
OWLReasonerFactory reasonerFactory,
OWLOntology ontology,
OWLReasoner reasoner,
ExplanationProgressMonitor progressMonitor)
Instantiates a new default explanation generator.
|
Modifier and Type | Class and Description |
---|---|
class |
SilentExplanationProgressMonitor
The Class SilentExplanationProgressMonitor.
|
Copyright © 2020 The University of Manchester. All rights reserved.