| Package | Description |
|---|---|
| com.clarkparsia.owlapi.explanation | |
| com.clarkparsia.owlapi.explanation.util |
| 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(org.semanticweb.owlapi.model.OWLOntologyManager man,
org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory,
org.semanticweb.owlapi.model.OWLOntology ontology,
ExplanationProgressMonitor progressMonitor) |
DefaultExplanationGenerator(org.semanticweb.owlapi.model.OWLOntologyManager man,
org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory,
org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.reasoner.OWLReasoner reasoner,
ExplanationProgressMonitor progressMonitor) |
| Modifier and Type | Class and Description |
|---|---|
class |
SilentExplanationProgressMonitor
Author: Matthew Horridge
Clark & Parsia, LLC Bio-Health Informatics Group Date: 26-Nov-2007 |
Copyright © 2013 The University of Manchester. All Rights Reserved.