public class HSTExplanationGenerator extends java.lang.Object implements MultipleExplanationGenerator
Constructor and Description |
---|
HSTExplanationGenerator(TransactionAwareSingleExpGen singleExplanationGenerator) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<OWLAxiom> |
getExplanation(OWLClassExpression unsatClass)
Returns a single explanation for the given unsatisfiable class.
|
java.util.Set<java.util.Set<OWLAxiom>> |
getExplanations(OWLClassExpression unsatClass)
Returns all the explanations for the given unsatisfiable class.
|
java.util.Set<java.util.Set<OWLAxiom>> |
getExplanations(OWLClassExpression unsatClass,
int maxExplanations)
Return a specified number of explanations for the given unsatisfiable
class.
|
protected static int |
getOccurrences(OWLAxiom ax,
java.util.Set<java.util.Set<OWLAxiom>> axiomSets)
Given an axiom and a set of axioms this method determines how many sets
contain the axiom.
|
OWLOntology |
getOntology() |
OWLOntologyManager |
getOntologyManager() |
OWLReasoner |
getReasoner() |
OWLReasonerFactory |
getReasonerFactory() |
TransactionAwareSingleExpGen |
getSingleExplanationGenerator() |
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()
getOntologyManager
in interface SingleExplanationGenerator
public OWLOntology getOntology()
getOntology
in interface SingleExplanationGenerator
public OWLReasoner getReasoner()
getReasoner
in interface SingleExplanationGenerator
public OWLReasonerFactory getReasonerFactory()
getReasonerFactory
in interface SingleExplanationGenerator
public TransactionAwareSingleExpGen getSingleExplanationGenerator()
public java.util.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 java.util.Set<java.util.Set<OWLAxiom>> getExplanations(OWLClassExpression unsatClass)
ExplanationGenerator
getExplanations
in interface ExplanationGenerator
unsatClass
- The class that is unsatisfiable for which an explanation
will be generated.public java.util.Set<java.util.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
explanations