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

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.

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 incosistent 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(@Nonnull
                           OWLOntologyManager owlOntologyManager,
                           @Nonnull
                           OWLOntology ontology,
                           @Nonnull
                           OWLReasonerFactory reasonerFactory)

Instantiates a new black box owl debugger.

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.

getSOSForInconsistentClass

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

Description copied from interface: OWLDebugger

Gets the sOS for incosistent 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