public class DefaultExplanationGenerator extends java.lang.Object implements ExplanationGenerator
Constructor and Description |
---|
DefaultExplanationGenerator(OWLOntologyManager man,
OWLReasonerFactory reasonerFactory,
OWLOntology ontology,
ExplanationProgressMonitor progressMonitor) |
DefaultExplanationGenerator(OWLOntologyManager man,
OWLReasonerFactory reasonerFactory,
OWLOntology ontology,
OWLReasoner reasoner,
ExplanationProgressMonitor progressMonitor) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<OWLAxiom> |
getExplanation(OWLAxiom axiom) |
java.util.Set<OWLAxiom> |
getExplanation(OWLClassExpression unsatClass)
Returns a single explanation for the given unsatisfiable class.
|
java.util.Set<java.util.Set<OWLAxiom>> |
getExplanations(OWLAxiom axiom) |
java.util.Set<java.util.Set<OWLAxiom>> |
getExplanations(OWLAxiom axiom,
int maxExplanations) |
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.
|
public DefaultExplanationGenerator(OWLOntologyManager man, OWLReasonerFactory reasonerFactory, OWLOntology ontology, ExplanationProgressMonitor progressMonitor)
man
- managerreasonerFactory
- reasoner factoryontology
- ontology to reason onprogressMonitor
- progress monitorpublic DefaultExplanationGenerator(OWLOntologyManager man, OWLReasonerFactory reasonerFactory, OWLOntology ontology, OWLReasoner reasoner, ExplanationProgressMonitor progressMonitor)
man
- managerreasonerFactory
- reasoner factoryontology
- ontology to reason onreasoner
- the reasoner to useprogressMonitor
- progress monitorpublic java.util.Set<OWLAxiom> getExplanation(OWLClassExpression unsatClass)
ExplanationGenerator
getExplanation
in interface ExplanationGenerator
unsatClass
- The class that is unsatisfiable for which an explanation
will be generated.public java.util.Set<OWLAxiom> getExplanation(OWLAxiom axiom)
axiom
- the axiom to explainpublic 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(OWLAxiom axiom)
axiom
- the axiom to explainpublic 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