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

void	dispose() dispose of resources locked such as reasoners
Set<Set<org.semanticweb.owlapi.model.OWLAxiom>>	getAllSOSForIncosistentClass(org.semanticweb.owlapi.model.OWLClassExpression cls)
org.semanticweb.owlapi.model.OWLOntology	getOWLOntology()
Set<org.semanticweb.owlapi.model.OWLAxiom>	getSOSForIncosistentClass(org.semanticweb.owlapi.model.OWLClassExpression cls)

Method Detail

getOWLOntology

org.semanticweb.owlapi.model.OWLOntology getOWLOntology()
                                                        throws org.semanticweb.owlapi.model.OWLException

Returns:

the OWLOntology that is being debugged.

Throws:

org.semanticweb.owlapi.model.OWLException - if there is any problem

getSOSForIncosistentClass

Set<org.semanticweb.owlapi.model.OWLAxiom> getSOSForIncosistentClass(org.semanticweb.owlapi.model.OWLClassExpression cls)
                                                                     throws org.semanticweb.owlapi.model.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:

org.semanticweb.owlapi.model.OWLException - if there is any problem

getAllSOSForIncosistentClass

Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> getAllSOSForIncosistentClass(org.semanticweb.owlapi.model.OWLClassExpression cls)
                                                                             throws org.semanticweb.owlapi.model.OWLException

Parameters:

cls - the inconsistent class

Returns:

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

Throws:

org.semanticweb.owlapi.model.OWLException - if there is any problem

dispose

void dispose()

dispose of resources locked such as reasoners