public class HSTExplanationGenerator extends Object implements MultipleExplanationGenerator
| Constructor and Description |
|---|
HSTExplanationGenerator(TransactionAwareSingleExpGen singleExplanationGenerator) |
| Modifier and Type | Method and Description |
|---|---|
Set<org.semanticweb.owlapi.model.OWLAxiom> |
getExplanation(org.semanticweb.owlapi.model.OWLClassExpression unsatClass)
Returns a single explanation for the given unsatisfiable class.
|
Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> |
getExplanations(org.semanticweb.owlapi.model.OWLClassExpression unsatClass)
Returns all the explanations for the given unsatisfiable class.
|
Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> |
getExplanations(org.semanticweb.owlapi.model.OWLClassExpression unsatClass,
int maxExplanations)
Return a specified number of explanations for the given unsatisfiable
class.
|
protected static int |
getOccurrences(org.semanticweb.owlapi.model.OWLAxiom ax,
Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> axiomSets)
Given an axiom and a set of axioms this method determines how many sets
contain the axiom.
|
org.semanticweb.owlapi.model.OWLOntology |
getOntology() |
org.semanticweb.owlapi.model.OWLOntologyManager |
getOntologyManager() |
org.semanticweb.owlapi.reasoner.OWLReasoner |
getReasoner() |
org.semanticweb.owlapi.reasoner.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)
MultipleExplanationGeneratorsetProgressMonitor in interface MultipleExplanationGeneratorprogressMonitor - The progress monitor.public org.semanticweb.owlapi.model.OWLOntologyManager getOntologyManager()
getOntologyManager in interface SingleExplanationGeneratorpublic org.semanticweb.owlapi.model.OWLOntology getOntology()
getOntology in interface SingleExplanationGeneratorpublic org.semanticweb.owlapi.reasoner.OWLReasoner getReasoner()
getReasoner in interface SingleExplanationGeneratorpublic org.semanticweb.owlapi.reasoner.OWLReasonerFactory getReasonerFactory()
getReasonerFactory in interface SingleExplanationGeneratorpublic TransactionAwareSingleExpGen getSingleExplanationGenerator()
public Set<org.semanticweb.owlapi.model.OWLAxiom> getExplanation(org.semanticweb.owlapi.model.OWLClassExpression unsatClass)
ExplanationGeneratorgetExplanation in interface ExplanationGeneratorgetExplanation in interface SingleExplanationGeneratorunsatClass - The class that is unsatisfiable for which an explanation
will be generated.public Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> getExplanations(org.semanticweb.owlapi.model.OWLClassExpression unsatClass)
ExplanationGeneratorgetExplanations in interface ExplanationGeneratorunsatClass - The class that is unsatisfiable for which an explanation
will be generated.public Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> getExplanations(org.semanticweb.owlapi.model.OWLClassExpression unsatClass, int maxExplanations)
ExplanationGeneratorgetExplanations in interface ExplanationGeneratorunsatClass - The class that is unsatisfiable for which an explanation
will be generated.maxExplanations - Maximum number of explanations requested, or 0 to get all the
explanationsprotected static int getOccurrences(org.semanticweb.owlapi.model.OWLAxiom ax,
Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> axiomSets)
ax - The axiom that will be counted.axiomSets - The sets to count fromCopyright © 2013 The University of Manchester. All Rights Reserved.