public class HSTExplanationGenerator extends Object implements MultipleExplanationGenerator
Constructor and Description |
---|
HSTExplanationGenerator(TransactionAwareSingleExpGen singleExplanationGenerator)
Instantiates a new hST explanation generator.
|
Modifier and Type | Method and Description |
---|---|
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() |
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(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()
getReasoner
in interface SingleExplanationGenerator
public OWLReasonerFactory getReasonerFactory()
SingleExplanationGenerator
getReasonerFactory
in interface SingleExplanationGenerator
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 Set<Set<OWLAxiom>> getExplanations(OWLClassExpression unsatClass, 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 © 2017 The University of Manchester. All Rights Reserved.