org.semanticweb.owlapi.debugging
Class BlackBoxOWLDebugger

java.lang.Object
  org.semanticweb.owlapi.debugging.AbstractOWLDebugger
      org.semanticweb.owlapi.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, OWLReasonerFactory reasonerFactory)

Method Summary

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

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

constructHittingSetTree, getAllSOSForIncosistentClass, getOWLOntology, getOWLOntologyManager

Methods inherited from class java.lang.Object

clone, equals, finalize, 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,
                           OWLReasonerFactory reasonerFactory)

Method Detail

dispose

public void dispose()

getCurrentClass

protected OWLClassExpression getCurrentClass()
                                      throws OWLException

Specified by:

getCurrentClass in class AbstractOWLDebugger

Throws:

OWLException

getSOSForIncosistentClass

public java.util.Set<OWLAxiom> getSOSForIncosistentClass(OWLClassExpression 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