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

Since:

2.0.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

Constructor Summary

Constructors

Constructor and Description
BlackBoxOWLDebugger(OWLOntologyManager owlOntologyManager, OWLOntology ontology, OWLReasonerFactory reasonerFactory) Instantiates a new black box owl debugger.
BlackBoxOWLDebugger(OWLOntologyManager owlOntologyManager, OWLOntology ontology, OWLReasonerFactory reasonerFactory, int fastPruningWindowSize) Instantiates a new black box owl debugger.

Method Summary

Modifier and Type	Method and Description
void	dispose() dispose of resources locked such as reasoners.
Set<OWLAxiom>	getSOSForInconsistentClass(OWLClassExpression cls) Gets the sOS for inconsistent class.

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

constructHittingSetTree, getAllSOSForInconsistentClass, getOWLOntology

Methods inherited from class java.lang.Object

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

Constructor Detail

BlackBoxOWLDebugger

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

Instantiates a new black box owl debugger.

Parameters:

owlOntologyManager - manager to use

ontology - ontology to debug

reasonerFactory - factory to use

BlackBoxOWLDebugger

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

Instantiates a new black box owl debugger.

Parameters:

owlOntologyManager - manager to use

ontology - ontology to debug

reasonerFactory - factory to use

fastPruningWindowSize - size of the pruning window, defaults to 1% of axiom number or 10, whichever is larger

Method Detail

dispose

public void dispose()

Description copied from interface: OWLDebugger

dispose of resources locked such as reasoners.

getSOSForInconsistentClass

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

Description copied from interface: OWLDebugger

Gets the sOS for inconsistent class.

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