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
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

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()

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

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

getOntology, getOntologyManager, getReasoner, getReasonerFactory

Field Detail

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(@Nonnull
                           OWLOntology ontology,
                           @Nonnull
                           OWLReasonerFactory reasonerFactory,
                           @Nonnull
                           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()

Description copied from interface: SingleExplanationGenerator

dispose of the reasoners and ontologies.

Specified by:

dispose in interface SingleExplanationGenerator

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.

toString

public String toString()

Overrides:

toString in class Object