public class BlackBoxExplanation extends SingleExplanationGeneratorImpl implements SingleExplanationGenerator
Modifier and Type | Field and Description |
---|---|
protected java.util.Set<OWLAxiom> |
debuggingAxioms |
static int |
DEFAULT_INITIAL_EXPANSION_LIMIT
default expansion limit
|
Constructor and Description |
---|
BlackBoxExplanation(OWLOntology ontology,
OWLReasonerFactory reasonerFactory,
OWLReasoner reasoner) |
Modifier and Type | Method and Description |
---|---|
void |
dispose() |
java.util.Set<OWLAxiom> |
getExplanation(OWLClassExpression unsatClass)
Get a single explanation for an arbitrary class expression, or empty set
if the given expression is satisfiable.
|
protected void |
pruneUntilMinimal(OWLClassExpression unsatClass) |
java.lang.String |
toString() |
beginTransaction, endTransaction, getDefinitionTracker, getOntology, getOntologyManager, getReasoner, getReasonerFactory, isFirstExplanation
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getOntology, getOntologyManager, getReasoner, getReasonerFactory
protected final java.util.Set<OWLAxiom> debuggingAxioms
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 java.util.Set<OWLAxiom> getExplanation(OWLClassExpression unsatClass)
SingleExplanationGenerator
getExplanation
in interface SingleExplanationGenerator
unsatClass
- arbitrary class expression whose unsatisfiability will be
explainedprotected void pruneUntilMinimal(OWLClassExpression unsatClass) throws OWLException
OWLException
public java.lang.String toString()
toString
in class java.lang.Object