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

static int

DEFAULT_INITIAL_EXPANSION_LIMIT default expansion limit

Constructor Summary

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

Method Summary

void	dispose() dispose of the reasoners and ontologies
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

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

dispose of the reasoners and ontologies

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