Package | Description |
---|---|
org.semanticweb.owlapi.reasoner | |
org.semanticweb.owlapi.reasoner.structural |
Modifier and Type | Method and Description |
---|---|
static InferenceType |
InferenceType.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static InferenceType[] |
InferenceType.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
Set<InferenceType> |
OWLReasoner.getPrecomputableInferenceTypes()
Returns the set of
InferenceType s
that are precomputable by reasoner. |
Modifier and Type | Method and Description |
---|---|
boolean |
OWLReasoner.isPrecomputed(InferenceType inferenceType)
Determines if a specific set of inferences have been precomputed.
|
void |
OWLReasoner.precomputeInferences(InferenceType... inferenceTypes)
Asks the reasoner to precompute certain types of inferences.
|
Modifier and Type | Method and Description |
---|---|
Set<InferenceType> |
StructuralReasoner.getPrecomputableInferenceTypes() |
Modifier and Type | Method and Description |
---|---|
boolean |
StructuralReasoner.isPrecomputed(InferenceType inferenceType) |
void |
StructuralReasoner.precomputeInferences(InferenceType... inferenceTypes) |
Copyright © 2017 The University of Manchester. All Rights Reserved.