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) Get all SOS for inconsistent class.
OWLOntology	getOWLOntology() Gets the ontology.
Set<OWLAxiom>	getSOSForInconsistentClass(OWLClassExpression cls) Gets the SOS for inconsistent class.

Method Detail

getOWLOntology

OWLOntology getOWLOntology()
                    throws OWLException

Gets the ontology.

Returns:

the OWLOntology that is being debugged.

Throws:

OWLException - if there is any problem

getSOSForInconsistentClass

Set<OWLAxiom> getSOSForInconsistentClass(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

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

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