public interface OWLDebugger
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.
|
OWLOntology getOWLOntology() throws OWLException
OWLOntology
that is being debugged.OWLException
- if there is any problemSet<OWLAxiom> getSOSForInconsistentClass(OWLClassExpression cls) throws OWLException
cls
- The class which is inconsistentOWLException
- if there is any problemSet<Set<OWLAxiom>> getAllSOSForInconsistentClass(OWLClassExpression cls) throws OWLException
cls
- the inconsistent classOWLException
- if there is any problemvoid dispose()
Copyright © 2020 The University of Manchester. All rights reserved.