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

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".

Author:

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

Field Summary

Fields

Modifier and Type	Field and Description
static int	DEFAULT_INITIAL_EXPANSION_LIMIT default expansion limit.

Constructor Summary

Constructors

Constructor and Description
BlackBoxOWLDebugger(OWLOntologyManager owlOntologyManager, OWLOntology ontology, OWLReasonerFactory reasonerFactory)

Method Summary

Modifier and Type	Method and Description
void	dispose() dispose of resources locked such as reasoners
Set<OWLAxiom>	getSOSForIncosistentClass(OWLClassExpression cls)

Methods inherited from class org.semanticweb.owlapi.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

default expansion limit.

See Also:

Constant Field Values

Constructor Detail

BlackBoxOWLDebugger

public BlackBoxOWLDebugger(OWLOntologyManager owlOntologyManager,
                           OWLOntology ontology,
                           OWLReasonerFactory reasonerFactory)

Parameters:

owlOntologyManager - manager to use

ontology - ontology to debug

reasonerFactory - factory to use

Method Detail

dispose

public void dispose()

Description copied from interface: OWLDebugger

dispose of resources locked such as reasoners

getSOSForIncosistentClass

public Set<OWLAxiom> getSOSForIncosistentClass(OWLClassExpression cls)
                                        throws OWLException

Parameters:

cls - The class which is inconsistent

Returns:

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

Throws:

OWLException - if there is any problem