public class DefaultExplanationGenerator extends Object implements ExplanationGenerator
Constructor and Description |
---|
DefaultExplanationGenerator(OWLOntologyManager man,
OWLReasonerFactory reasonerFactory,
OWLOntology ontology,
ExplanationProgressMonitor progressMonitor)
Instantiates a new default explanation generator.
|
DefaultExplanationGenerator(OWLOntologyManager man,
OWLReasonerFactory reasonerFactory,
OWLOntology ontology,
OWLReasoner reasoner,
ExplanationProgressMonitor progressMonitor)
Instantiates a new default explanation generator.
|
Modifier and Type | Method and Description |
---|---|
Set<OWLAxiom> |
getExplanation(OWLAxiom axiom)
Gets the explanation.
|
Set<OWLAxiom> |
getExplanation(OWLClassExpression unsatClass)
Returns a single explanation for the given unsatisfiable class.
|
Set<Set<OWLAxiom>> |
getExplanations(OWLAxiom axiom)
Gets the explanations.
|
Set<Set<OWLAxiom>> |
getExplanations(OWLAxiom axiom,
int maxExplanations)
Gets the explanations.
|
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.
|
public DefaultExplanationGenerator(@Nonnull OWLOntologyManager man, @Nonnull OWLReasonerFactory reasonerFactory, @Nonnull OWLOntology ontology, @Nonnull ExplanationProgressMonitor progressMonitor)
man
- managerreasonerFactory
- reasoner factoryontology
- ontology to reason onprogressMonitor
- progress monitorpublic DefaultExplanationGenerator(@Nonnull OWLOntologyManager man, @Nonnull OWLReasonerFactory reasonerFactory, @Nonnull OWLOntology ontology, @Nonnull OWLReasoner reasoner, @Nullable ExplanationProgressMonitor progressMonitor)
man
- managerreasonerFactory
- reasoner factoryontology
- ontology to reason onreasoner
- the reasoner to useprogressMonitor
- progress monitorpublic Set<OWLAxiom> getExplanation(OWLClassExpression unsatClass)
ExplanationGenerator
getExplanation
in interface ExplanationGenerator
unsatClass
- The class that is unsatisfiable for which an explanation will be
generated.@Nonnull public Set<OWLAxiom> getExplanation(@Nonnull OWLAxiom axiom)
axiom
- the axiom to explainpublic Set<Set<OWLAxiom>> getExplanations(OWLClassExpression unsatClass)
ExplanationGenerator
getExplanations
in interface ExplanationGenerator
unsatClass
- The class that is unsatisfiable for which an explanation will be
generated.@Nonnull public Set<Set<OWLAxiom>> getExplanations(@Nonnull OWLAxiom axiom)
axiom
- the axiom to explainpublic 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 © 2020 The University of Manchester. All rights reserved.