org.semanticweb.owlapi.debugging

Interface OWLDebugger

All Known Implementing Classes:

AbstractOWLDebugger, BlackBoxOWLDebugger

public interface OWLDebugger

Since:

2.0.0

Author:

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

Method Summary

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

Method Detail

getOWLOntology

@Nonnull
OWLOntology getOWLOntology()
                             throws OWLException

Returns:

the OWLOntology that is being debugged.

Throws:

OWLException - if there is any problem

getSOSForInconsistentClass

@Nonnull
Set<OWLAxiom> getSOSForInconsistentClass(@Nonnull
                                                  OWLClassExpression cls)
                                           throws OWLException

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

getAllSOSForInconsistentClass

@Nonnull
Set<Set<OWLAxiom>> getAllSOSForInconsistentClass(@Nonnull
                                                          OWLClassExpression cls)
                                                   throws OWLException

Gets the all sos for inconsistent class.

Parameters:

cls - the inconsistent class

Returns:

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

Throws:

OWLException - if there is any problem

dispose

void dispose()

dispose of resources locked such as reasoners.