public class BlackBoxOWLDebugger extends AbstractOWLDebugger
Constructor and Description |
---|
BlackBoxOWLDebugger(OWLOntologyManager owlOntologyManager,
OWLOntology ontology,
OWLReasonerFactory reasonerFactory)
Instantiates a new black box owl debugger.
|
BlackBoxOWLDebugger(OWLOntologyManager owlOntologyManager,
OWLOntology ontology,
OWLReasonerFactory reasonerFactory,
int fastPruningWindowSize)
Instantiates a new black box owl debugger.
|
Modifier and Type | Method and Description |
---|---|
void |
dispose()
dispose of resources locked such as reasoners.
|
Set<OWLAxiom> |
getSOSForInconsistentClass(OWLClassExpression cls)
Gets the sOS for inconsistent class.
|
constructHittingSetTree, getAllSOSForInconsistentClass, getOWLOntology
public BlackBoxOWLDebugger(OWLOntologyManager owlOntologyManager, OWLOntology ontology, OWLReasonerFactory reasonerFactory)
owlOntologyManager
- manager to useontology
- ontology to debugreasonerFactory
- factory to usepublic BlackBoxOWLDebugger(OWLOntologyManager owlOntologyManager, OWLOntology ontology, OWLReasonerFactory reasonerFactory, int fastPruningWindowSize)
owlOntologyManager
- manager to useontology
- ontology to debugreasonerFactory
- factory to usefastPruningWindowSize
- size of the pruning window, defaults to 1% of axiom number or
10, whichever is largerpublic void dispose()
OWLDebugger
public Set<OWLAxiom> getSOSForInconsistentClass(OWLClassExpression cls) throws OWLException
OWLDebugger
cls
- The class which is inconsistentOWLException
- if there is any problemCopyright © 2020 The University of Manchester. All rights reserved.