com.clarkparsia.explanation
Class BlackBoxExplanation

java.lang.Object
  com.clarkparsia.explanation.SingleExplanationGeneratorImpl
      com.clarkparsia.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

Fields inherited from class com.clarkparsia.explanation.SingleExplanationGeneratorImpl

altReasoner, definitionTracker, owlOntologyManager, reasoner, reasonerFactory

Constructor Summary

BlackBoxExplanation(OWLOntologyManager manager)

Method Summary

void	dispose()
java.util.Set<OWLAxiom>	getExplanation(OWLDescription unsatClass) Get a single explanation for an arbitrary class expression, or empty set if the given expression is satisfiable.
protected void	pruneUntilMinimal(OWLDescription unsatClass)
java.lang.String	toString()

Methods inherited from class com.clarkparsia.explanation.SingleExplanationGeneratorImpl

beginTransaction, endTransaction, getAltReasoner, getOntologies, getOntology, getOntologyManager, getReasoner, getReasonerFactory, isFirstExplanation, setOntologies, setOntology, setReasoner, setReasonerFactory

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.clarkparsia.explanation.SingleExplanationGenerator

getOntologies, getOntology, getOntologyManager, getReasoner, getReasonerFactory, setOntologies, setOntology, setReasoner, setReasonerFactory

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

Method Detail

dispose

public void dispose()

getExplanation

public java.util.Set<OWLAxiom> getExplanation(OWLDescription 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(OWLDescription unsatClass)
                          throws OWLException

Throws:

OWLException

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object