Package | Description |
---|---|
org.semanticweb.owlapi.reasoner |
OWLReasoner package
|
org.semanticweb.owlapi.reasoner.impl |
OWLReasoner implementation package
|
org.semanticweb.owlapi.reasoner.structural |
Structural reasoner implementation package
|
Modifier and Type | Method and Description |
---|---|
FreshEntityPolicy |
SimpleConfiguration.getFreshEntityPolicy() |
FreshEntityPolicy |
OWLReasonerConfiguration.getFreshEntityPolicy()
Gets the fresh entity policy that should be used.
|
FreshEntityPolicy |
OWLReasoner.getFreshEntityPolicy()
Gets the Fresh Entity Policy in use by this reasoner.
|
static FreshEntityPolicy |
FreshEntityPolicy.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static FreshEntityPolicy[] |
FreshEntityPolicy.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Constructor and Description |
---|
SimpleConfiguration(FreshEntityPolicy freshEntityPolicy,
long timeOut) |
SimpleConfiguration(ReasonerProgressMonitor progressMonitor,
FreshEntityPolicy freshEntityPolicy,
long timeOut,
IndividualNodeSetPolicy individualNodeSetPolicy) |
Modifier and Type | Method and Description |
---|---|
FreshEntityPolicy |
OWLReasonerBase.getFreshEntityPolicy() |
Modifier and Type | Method and Description |
---|---|
FreshEntityPolicy |
StructuralReasoner.getFreshEntityPolicy() |
Copyright © 2020 The University of Manchester. All rights reserved.