Package 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	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	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 Details

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 Details

dispose

public void dispose()

Description copied from interface: OWLDebugger

dispose of resources locked such as reasoners.

getSOSForInconsistentClass

public Set<OWLAxiom> getSOSForInconsistentClass(OWLClassExpression cls)

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.