public class BlackBoxExplanation extends SingleExplanationGeneratorImpl implements SingleExplanationGenerator
Modifier and Type | Field and Description |
---|---|
static int |
DEFAULT_INITIAL_EXPANSION_LIMIT
default expansion limit.
|
Constructor and Description |
---|
BlackBoxExplanation(OWLOntology ontology,
OWLReasonerFactory reasonerFactory,
OWLReasoner reasoner)
Instantiates a new black box explanation.
|
BlackBoxExplanation(OWLOntology ontology,
OWLReasonerFactory reasonerFactory,
OWLReasoner reasoner,
int fastPruningWindowSize)
Instantiates a new black box explanation.
|
Modifier and Type | Method and Description |
---|---|
void |
dispose()
dispose of the reasoners and ontologies.
|
Set<OWLAxiom> |
getExplanation(OWLClassExpression unsatClass)
Get a single explanation for an arbitrary class expression, or empty set
if the given expression is satisfiable.
|
String |
toString() |
beginTransaction, endTransaction, getDefinitionTracker, getOntology, getOntologyManager, getReasoner, getReasonerFactory
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
getOntology, getOntologyManager, getReasoner, getReasonerFactory
public static final int DEFAULT_INITIAL_EXPANSION_LIMIT
public BlackBoxExplanation(@Nonnull OWLOntology ontology, @Nonnull OWLReasonerFactory reasonerFactory, @Nonnull OWLReasoner reasoner)
ontology
- the ontologyreasonerFactory
- the reasoner factoryreasoner
- the reasonerpublic BlackBoxExplanation(OWLOntology ontology, OWLReasonerFactory reasonerFactory, OWLReasoner reasoner, int fastPruningWindowSize)
ontology
- the ontologyreasonerFactory
- the reasoner factoryreasoner
- the reasonerfastPruningWindowSize
- the window size for fast pruning (default to 1% of axioms, or 10
- whichever is larger)public void dispose()
SingleExplanationGenerator
dispose
in interface SingleExplanationGenerator
public Set<OWLAxiom> getExplanation(OWLClassExpression unsatClass)
SingleExplanationGenerator
getExplanation
in interface SingleExplanationGenerator
unsatClass
- arbitrary class expression whose unsatisfiability will be
explainedCopyright © 2020 The University of Manchester. All rights reserved.