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

Fields

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

Constructor Summary

Constructors

Constructor and Description
BlackBoxOWLDebugger(org.semanticweb.owlapi.model.OWLOntologyManager owlOntologyManager, org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory)

Method Summary

Methods

Modifier and Type	Method and Description
void	dispose() dispose of resources locked such as reasoners
protected org.semanticweb.owlapi.model.OWLClassExpression	getCurrentClass()
Set<org.semanticweb.owlapi.model.OWLAxiom>	getSOSForIncosistentClass(org.semanticweb.owlapi.model.OWLClassExpression cls)

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

default expansion limit

See Also:

Constant Field Values

Constructor Detail

BlackBoxOWLDebugger

public BlackBoxOWLDebugger(org.semanticweb.owlapi.model.OWLOntologyManager owlOntologyManager,
                   org.semanticweb.owlapi.model.OWLOntology ontology,
                   org.semanticweb.owlapi.reasoner.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

getCurrentClass

protected org.semanticweb.owlapi.model.OWLClassExpression getCurrentClass()
                                                                   throws org.semanticweb.owlapi.model.OWLException

Specified by:

getCurrentClass in class AbstractOWLDebugger

Throws:

org.semanticweb.owlapi.model.OWLException

getSOSForIncosistentClass

public Set<org.semanticweb.owlapi.model.OWLAxiom> getSOSForIncosistentClass(org.semanticweb.owlapi.model.OWLClassExpression cls)
                                                                     throws org.semanticweb.owlapi.model.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:

org.semanticweb.owlapi.model.OWLException - if there is any problem