org.semanticweb.owlapi.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

Modifier and Type	Method and Description
void	dispose() dispose of resources locked such as reasoners
Set<Set<OWLAxiom>>	getAllSOSForIncosistentClass(OWLClassExpression cls)
OWLOntology	getOWLOntology()
Set<OWLAxiom>	getSOSForIncosistentClass(OWLClassExpression cls)

Method Detail

getOWLOntology

OWLOntology getOWLOntology()
                    throws OWLException

Returns:

the OWLOntology that is being debugged.

Throws:

OWLException - if there is any problem

getSOSForIncosistentClass

Set<OWLAxiom> getSOSForIncosistentClass(OWLClassExpression cls)
                                 throws 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:

OWLException - if there is any problem

getAllSOSForIncosistentClass

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

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