public interface OWLDebugger
Modifier and Type | Method and Description |
---|---|
void |
dispose()
dispose of resources locked such as reasoners
|
java.util.Set<java.util.Set<OWLAxiom>> |
getAllSOSForIncosistentClass(OWLClassExpression cls) |
OWLOntology |
getOWLOntology() |
java.util.Set<OWLAxiom> |
getSOSForIncosistentClass(OWLClassExpression cls) |
OWLOntology getOWLOntology() throws OWLException
OWLOntology
that is being debugged.OWLException
- if there is any problemjava.util.Set<OWLAxiom> getSOSForIncosistentClass(OWLClassExpression cls) throws OWLException
cls
- The class which is inconsistentOWLException
- if there is any problemjava.util.Set<java.util.Set<OWLAxiom>> getAllSOSForIncosistentClass(OWLClassExpression cls) throws OWLException
cls
- the inconsistent classOWLException
- if there is any problemvoid dispose()