Package 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	Description
void	dispose()	dispose of resources locked such as reasoners.
Set<Set<OWLAxiom>>	getAllSOSForInconsistentClass(OWLClassExpression cls)	Gets the all sos for incosistent class.
OWLOntology	getOWLOntology()	Gets the oWL ontology.
Set<OWLAxiom>	getSOSForInconsistentClass(OWLClassExpression cls)	Gets the sOS for incosistent class.

Method Detail

getOWLOntology

@Nonnull
OWLOntology getOWLOntology()
                    throws OWLException

Gets the oWL ontology.

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

getAllSOSForInconsistentClass

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

Gets the all sos for incosistent 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.