Package | Description |
---|---|
com.clarkparsia.owlapi.explanation |
Explanation package
|
com.clarkparsia.owlapi.modularity.locality |
Locality package
|
org.semanticweb.owlapi.debugging |
Debugging package
|
org.semanticweb.owlapi.profiles | |
org.semanticweb.owlapi.reasoner.structural |
Structural reasoner implementation package
|
Modifier and Type | Method and Description |
---|---|
OWLReasonerFactory |
SingleExplanationGeneratorImpl.getReasonerFactory() |
OWLReasonerFactory |
SingleExplanationGenerator.getReasonerFactory()
Gets the reasoner factory.
|
OWLReasonerFactory |
HSTExplanationGenerator.getReasonerFactory() |
Constructor and Description |
---|
BlackBoxExplanation(OWLOntology ontology,
OWLReasonerFactory reasonerFactory,
OWLReasoner reasoner)
Instantiates a new black box explanation.
|
BlackBoxExplanation(OWLOntology ontology,
OWLReasonerFactory reasonerFactory,
OWLReasoner reasoner,
int fastPruningWindowSize)
Instantiates a new black box explanation.
|
DefaultExplanationGenerator(OWLOntologyManager man,
OWLReasonerFactory reasonerFactory,
OWLOntology ontology,
ExplanationProgressMonitor progressMonitor)
Instantiates a new default explanation generator.
|
DefaultExplanationGenerator(OWLOntologyManager man,
OWLReasonerFactory reasonerFactory,
OWLOntology ontology,
OWLReasoner reasoner,
ExplanationProgressMonitor progressMonitor)
Instantiates a new default explanation generator.
|
SingleExplanationGeneratorImpl(OWLOntology ontology,
OWLReasonerFactory reasonerFactory,
OWLReasoner reasoner)
Instantiates a new single explanation generator impl.
|
Constructor and Description |
---|
SemanticLocalityEvaluator(OWLOntologyManager man,
OWLReasonerFactory reasonerFactory)
Instantiates a new semantic locality evaluator.
|
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 |
---|---|
static OWLReasonerFactory |
Profiles.instantiateFactory(String factoryClassName) |
Modifier and Type | Class and Description |
---|---|
class |
StructuralReasonerFactory |
Copyright © 2020 The University of Manchester. All rights reserved.