public class HSTExplanationGenerator extends Object implements MultipleExplanationGenerator
Constructor and Description |
---|
HSTExplanationGenerator(TransactionAwareSingleExpGen singleExplanationGenerator) |
Modifier and Type | Method and Description |
---|---|
void |
dispose()
dispose of the reasoners and ontologies.
|
Set<OWLAxiom> |
getExplanation(OWLClassExpression unsatClass)
Returns a single explanation for the given unsatisfiable class.
|
Set<Set<OWLAxiom>> |
getExplanations(OWLClassExpression unsatClass)
Returns all the explanations for the given unsatisfiable class.
|
Set<Set<OWLAxiom>> |
getExplanations(OWLClassExpression unsatClass,
int maxExplanations)
Return a specified number of explanations for the given unsatisfiable
class.
|
OWLOntology |
getOntology()
Gets the ontology.
|
OWLOntologyManager |
getOntologyManager()
Gets the ontology manager.
|
OWLReasoner |
getReasoner()
Gets the reasoner.
|
OWLReasonerFactory |
getReasonerFactory()
Gets the reasoner factory.
|
TransactionAwareSingleExpGen |
getSingleExplanationGenerator()
Gets the single explanation generator.
|
void |
setProgressMonitor(ExplanationProgressMonitor progressMonitor)
Sets the progress monitor for this multiple explanation generator.
|
public HSTExplanationGenerator(@Nonnull TransactionAwareSingleExpGen singleExplanationGenerator)
singleExplanationGenerator
- explanation generator to usepublic void setProgressMonitor(ExplanationProgressMonitor progressMonitor)
MultipleExplanationGenerator
setProgressMonitor
in interface MultipleExplanationGenerator
progressMonitor
- The progress monitor.public OWLOntologyManager getOntologyManager()
SingleExplanationGenerator
getOntologyManager
in interface SingleExplanationGenerator
public OWLOntology getOntology()
SingleExplanationGenerator
getOntology
in interface SingleExplanationGenerator
public OWLReasoner getReasoner()
SingleExplanationGenerator
getReasoner
in interface SingleExplanationGenerator
public OWLReasonerFactory getReasonerFactory()
SingleExplanationGenerator
getReasonerFactory
in interface SingleExplanationGenerator
@Nonnull public TransactionAwareSingleExpGen getSingleExplanationGenerator()
public Set<OWLAxiom> getExplanation(OWLClassExpression unsatClass)
ExplanationGenerator
getExplanation
in interface ExplanationGenerator
getExplanation
in interface SingleExplanationGenerator
unsatClass
- The class that is unsatisfiable for which an explanation will be
generated.public Set<Set<OWLAxiom>> getExplanations(OWLClassExpression unsatClass)
ExplanationGenerator
getExplanations
in interface ExplanationGenerator
unsatClass
- The class that is unsatisfiable for which an explanation will be
generated.public void dispose()
SingleExplanationGenerator
dispose
in interface SingleExplanationGenerator
public Set<Set<OWLAxiom>> getExplanations(OWLClassExpression unsatClass, @Nonnegative int maxExplanations)
ExplanationGenerator
getExplanations
in interface ExplanationGenerator
unsatClass
- The class that is unsatisfiable for which an explanation will be
generated.maxExplanations
- Maximum number of explanations requested, or 0 to get all the
explanationsCopyright © 2020 The University of Manchester. All rights reserved.