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<org.semanticweb.owlapi.model.OWLAxiom>	debuggingAxioms
static int	DEFAULT_INITIAL_EXPANSION_LIMIT default expansion limit

Constructor Summary

Constructors

Constructor and Description
BlackBoxExplanation(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory, org.semanticweb.owlapi.reasoner.OWLReasoner reasoner)

Method Summary

Methods

Modifier and Type	Method and Description
void	dispose()
Set<org.semanticweb.owlapi.model.OWLAxiom>	getExplanation(org.semanticweb.owlapi.model.OWLClassExpression unsatClass) Get a single explanation for an arbitrary class expression, or empty set if the given expression is satisfiable.
protected void	pruneUntilMinimal(org.semanticweb.owlapi.model.OWLClassExpression unsatClass)
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<org.semanticweb.owlapi.model.OWLAxiom> debuggingAxioms

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(org.semanticweb.owlapi.model.OWLOntology ontology,
                   org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory,
                   org.semanticweb.owlapi.reasoner.OWLReasoner reasoner)

Parameters:

ontology - the ontology

reasonerFactory - the reasoner factory

reasoner - the reasoner

Method Detail

dispose

public void dispose()

getExplanation

public Set<org.semanticweb.owlapi.model.OWLAxiom> getExplanation(org.semanticweb.owlapi.model.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(org.semanticweb.owlapi.model.OWLClassExpression unsatClass)
                          throws org.semanticweb.owlapi.model.OWLException

Throws:

org.semanticweb.owlapi.model.OWLException

toString

public String toString()

Overrides:

toString in class Object