public interface OWLDebugger
Modifier and Type | Method and Description |
---|---|
void |
dispose()
dispose of resources locked such as reasoners.
|
Set<Set<OWLAxiom>> |
getAllSOSForInconsistentClass(OWLClassExpression cls)
Gets the all sos for inconsistent class.
|
OWLOntology |
getOWLOntology() |
Set<OWLAxiom> |
getSOSForInconsistentClass(OWLClassExpression cls)
Gets the sOS for inconsistent class.
|
@Nonnull OWLOntology getOWLOntology() throws OWLException
OWLOntology
that is being debugged.OWLException
- if there is any problem@Nonnull Set<OWLAxiom> getSOSForInconsistentClass(@Nonnull OWLClassExpression cls) throws OWLException
cls
- The class which is inconsistentOWLException
- if there is any problem@Nonnull Set<Set<OWLAxiom>> getAllSOSForInconsistentClass(@Nonnull OWLClassExpression cls) throws OWLException
cls
- the inconsistent classOWLException
- if there is any problemvoid dispose()
Copyright © 2020 The University of Manchester. All rights reserved.