org.semanticweb.owl.debugging
Class BlackBoxOWLDebugger

java.lang.Object
  org.semanticweb.owl.debugging.AbstractOWLDebugger
      org.semanticweb.owl.debugging.BlackBoxOWLDebugger

All Implemented Interfaces:

OWLDebugger

public class BlackBoxOWLDebugger
extends AbstractOWLDebugger

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 24-Nov-2006

This is an implementation of a blackbox debugger. The implementation is based on the description of a black box debugger as described in Aditya Kalyanpur's PhD Thesis : "Debugging and Repair of OWL Ontologies".

Field Summary

static int

DEFAULT_INITIAL_EXPANSION_LIMIT

Constructor Summary

BlackBoxOWLDebugger(OWLOntologyManager owlOntologyManager, OWLOntology ontology, OWLSatisfiabilityChecker reasoner)

Method Summary

void	dispose()
java.util.Set<OWLAxiom>	getSOSForIncosistentClass(OWLDescription cls) Gets the first set of supporting (SOS) axioms that are responsible for the specified class being inconsistent.

Methods inherited from class org.semanticweb.owl.debugging.AbstractOWLDebugger

constructHittingSetTree, getAllSOSForIncosistentClass, getOWLOntology, getOWLOntologyManager

Methods inherited from class java.lang.Object

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

Field Detail

DEFAULT_INITIAL_EXPANSION_LIMIT

public static final int DEFAULT_INITIAL_EXPANSION_LIMIT

See Also:

Constant Field Values

Constructor Detail

BlackBoxOWLDebugger

public BlackBoxOWLDebugger(OWLOntologyManager owlOntologyManager,
                           OWLOntology ontology,
                           OWLSatisfiabilityChecker reasoner)

Method Detail

dispose

public void dispose()

getSOSForIncosistentClass

public java.util.Set<OWLAxiom> getSOSForIncosistentClass(OWLDescription cls)
                                                  throws OWLException

Description copied from interface: OWLDebugger

Gets the first set of supporting (SOS) axioms that are responsible for the specified class being inconsistent.

Parameters:

cls - The class which is inconsistent

Returns:

Throws:

OWLException