org.semanticweb.owl.debugging
Interface OWLDebugger

All Known Implementing Classes:

AbstractOWLDebugger, BlackBoxOWLDebugger

public interface OWLDebugger

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

Method Summary

void	dispose()
java.util.Set<java.util.Set<OWLAxiom>>	getAllSOSForIncosistentClass(OWLDescription cls) Gets all sets of supporting axioms that are responsible for the specified class being inconsistent
OWLOntology	getOWLOntology() Gets the OWLOntology that is being debugged.
java.util.Set<OWLAxiom>	getSOSForIncosistentClass(OWLDescription cls) Gets the first set of supporting (SOS) axioms that are responsible for the specified class being inconsistent.

Method Detail

getOWLOntology

OWLOntology getOWLOntology()
                           throws OWLException

Gets the OWLOntology that is being debugged.

Returns:

Throws:

OWLException

getSOSForIncosistentClass

java.util.Set<OWLAxiom> getSOSForIncosistentClass(OWLDescription cls)
                                                  throws OWLException

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

Parameters:

cls - The class which is inconsistent

Returns:

Throws:

OWLException

getAllSOSForIncosistentClass

java.util.Set<java.util.Set<OWLAxiom>> getAllSOSForIncosistentClass(OWLDescription cls)
                                                                    throws OWLException

Gets all sets of supporting axioms that are responsible for the specified class being inconsistent

Parameters:

cls -

Returns:

Throws:

OWLException

dispose

void dispose()