Modifier and Type | Method and Description |
---|---|
OWLReasoner |
SingleExplanationGeneratorImpl.getReasoner() |
OWLReasoner |
SingleExplanationGenerator.getReasoner() |
OWLReasoner |
HSTExplanationGenerator.getReasoner() |
Constructor and Description |
---|
BlackBoxExplanation(OWLOntology ontology,
OWLReasonerFactory reasonerFactory,
OWLReasoner reasoner)
Instantiates a new black box explanation.
|
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 |
---|
UnsatisfiableClassCountMetric(OWLReasoner reasoner,
OWLOntologyManager owlOntologyManager) |
Modifier and Type | Method and Description |
---|---|
Set<OWLAxiom> |
OntologySegmenter.extract(Set<OWLEntity> signature,
int superClassLevel,
int subClassLevel,
OWLReasoner reasoner)
Returns a set of axioms that is a segment of the ontology associated with
this segmenter.
|
OWLOntology |
OntologySegmenter.extractAsOntology(Set<OWLEntity> signature,
IRI iri,
int superClassLevel,
int subClassLevel,
OWLReasoner reasoner)
Returns an ontology that is a segment of the ontology associated with
this segmenter.
|
Modifier and Type | Method and Description |
---|---|
OWLReasoner |
OWLReasonerFactory.createNonBufferingReasoner(OWLOntology ontology)
Creates an OWLReasoner that reasons over the imports closure of the
specified ontology.
|
OWLReasoner |
OWLReasonerFactory.createNonBufferingReasoner(OWLOntology ontology,
OWLReasonerConfiguration config)
Creates an OWLReasoner that reasons over the imports closure of the
specified ontology.
|
OWLReasoner |
OWLReasonerFactory.createReasoner(OWLOntology ontology)
Creates a buffering reasoner that reasons over the imports closure of the
specified ontology.
|
OWLReasoner |
OWLReasonerFactory.createReasoner(OWLOntology ontology,
OWLReasonerConfiguration config)
Creates a buffering reasoner that reasons over the imports closure of the
specified ontology.
|
Modifier and Type | Class and Description |
---|---|
class |
OWLReasonerBase |
Modifier and Type | Interface and Description |
---|---|
interface |
OWLKnowledgeExplorerReasoner
Extension of OWLReasoner to allow access to reasoner completion graph.
|
Modifier and Type | Class and Description |
---|---|
class |
StructuralReasoner
This is a simple structural reasoner that essentially answers with told
information.
|
Modifier and Type | Method and Description |
---|---|
OWLReasoner |
StructuralReasonerFactory.createNonBufferingReasoner(OWLOntology ontology) |
OWLReasoner |
StructuralReasonerFactory.createNonBufferingReasoner(OWLOntology ontology,
OWLReasonerConfiguration config) |
OWLReasoner |
StructuralReasonerFactory.createReasoner(OWLOntology ontology) |
OWLReasoner |
StructuralReasonerFactory.createReasoner(OWLOntology ontology,
OWLReasonerConfiguration config) |
Modifier and Type | Method and Description |
---|---|
Set<A> |
InferredEntityAxiomGenerator.createAxioms(OWLOntologyManager manager,
OWLReasoner reasoner) |
Set<A> |
InferredAxiomGenerator.createAxioms(OWLOntologyManager manager,
OWLReasoner reasoner) |
Constructor and Description |
---|
InferredOntologyGenerator(OWLReasoner reasoner) |
InferredOntologyGenerator(OWLReasoner reasoner,
List<InferredAxiomGenerator<? extends OWLAxiom>> axiomGenerators) |
Modifier and Type | Method and Description |
---|---|
Set<OWLAxiom> |
SyntacticLocalityModuleExtractor.extract(Set<OWLEntity> sig,
int superClassLevel,
int subClassLevel,
OWLReasoner reasoner) |
Set<OWLAxiom> |
SyntacticLocalityModuleExtractor.extract(Set<OWLEntity> sig,
int superClassLevel,
int subClassLevel,
OWLReasoner reasoner,
boolean verbose)
Extracts a module from the associated ontology for a given signature and
the associated module type, and returns the module as a set of axioms.
|
OWLOntology |
SyntacticLocalityModuleExtractor.extractAsOntology(Set<OWLEntity> signature,
IRI iri,
int superClassLevel,
int subClassLevel,
OWLReasoner reasoner) |
Copyright © 2017 The University of Manchester. All Rights Reserved.