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.
|
Modifier and Type | Method and Description |
---|---|
void |
dispose()
dispose.
|
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(OWLOntology ontology, OWLReasonerFactory reasonerFactory, OWLReasoner reasoner)
ontology
- the ontologyreasonerFactory
- the reasoner factoryreasoner
- the reasonerpublic void dispose()
public Set<OWLAxiom> getExplanation(OWLClassExpression unsatClass)
SingleExplanationGenerator
getExplanation
in interface SingleExplanationGenerator
unsatClass
- arbitrary class expression whose unsatisfiability will be
explainedCopyright © 2017 The University of Manchester. All Rights Reserved.