com.clarkparsia.owlapi.explanation

Class BlackBoxExplanation

java.lang.Object

com.clarkparsia.owlapi.explanation.SingleExplanationGeneratorImpl

com.clarkparsia.owlapi.explanation.BlackBoxExplanation

All Implemented Interfaces:

SingleExplanationGenerator, TransactionAwareSingleExpGen

public class BlackBoxExplanation
extends SingleExplanationGeneratorImpl
implements SingleExplanationGenerator

A black box explanation.

Field Summary

Fields

Modifier and Type	Field and Description
protected Set<OWLAxiom>	debuggingAxioms The debugging axioms.
static int	DEFAULT_INITIAL_EXPANSION_LIMIT default expansion limit.

Constructor Summary

Constructors

Constructor and Description
BlackBoxExplanation(OWLOntology ontology, OWLReasonerFactory reasonerFactory, OWLReasoner reasoner) Instantiates a new black box explanation.

Method Summary

Methods

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.
protected void	pruneUntilMinimal(OWLClassExpression unsatClass) Prune until minimal.
String	toString()

Methods inherited from class com.clarkparsia.owlapi.explanation.SingleExplanationGeneratorImpl

beginTransaction, endTransaction, getDefinitionTracker, getOntology, getOntologyManager, getReasoner, getReasonerFactory, isFirstExplanation

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.clarkparsia.owlapi.explanation.SingleExplanationGenerator

getOntology, getOntologyManager, getReasoner, getReasonerFactory

Field Detail

debuggingAxioms

protected final Set<OWLAxiom> debuggingAxioms

The debugging axioms.

DEFAULT_INITIAL_EXPANSION_LIMIT

public static final int DEFAULT_INITIAL_EXPANSION_LIMIT

default expansion limit.

See Also:

Constant Field Values

Constructor Detail

BlackBoxExplanation

public BlackBoxExplanation(OWLOntology ontology,
                   OWLReasonerFactory reasonerFactory,
                   OWLReasoner reasoner)

Instantiates a new black box explanation.

Parameters:

ontology - the ontology

reasonerFactory - the reasoner factory

reasoner - the reasoner

Method Detail

dispose

public void dispose()

dispose.

getExplanation

public Set<OWLAxiom> getExplanation(OWLClassExpression unsatClass)

Description copied from interface: SingleExplanationGenerator

Get a single explanation for an arbitrary class expression, or empty set if the given expression is satisfiable.

Specified by:

getExplanation in interface SingleExplanationGenerator

Parameters:

unsatClass - arbitrary class expression whose unsatisfiability will be explained

Returns:

set of axioms explaining the unsatisfiability of given class expression, or empty set if the given expression is satisfiable.

pruneUntilMinimal

protected void pruneUntilMinimal(OWLClassExpression unsatClass)
                          throws OWLException

Prune until minimal.

Parameters:

unsatClass - the unsat class

Throws:

OWLException - the oWL exception

toString

public String toString()

Overrides:

toString in class Object