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

Title:

Description: Implementation of a SingleExplanationGenerator interface. This code is based on Matthew Horridge's implementation which was based on the description of a black box debugger described in Aditya Kalyanpur's PhD Thesis : "Debugging and Repair of OWL Ontologies".

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Field Summary

static int	DEFAULT_INITIAL_EXPANSION_LIMIT
static java.util.logging.Logger	log

Constructor Summary

BlackBoxExplanation(OWLOntology ontology, OWLReasonerFactory reasonerFactory, OWLReasoner reasoner)

Method Summary

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

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

log

public static final java.util.logging.Logger log

DEFAULT_INITIAL_EXPANSION_LIMIT

public static final int DEFAULT_INITIAL_EXPANSION_LIMIT

See Also:

Constant Field Values

Constructor Detail

BlackBoxExplanation

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

Method Detail

dispose

public void dispose()

getExplanation

public java.util.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

Throws:

OWLException

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object