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 |
---|---|
IndividualNodeSetPolicy |
SimpleConfiguration.getIndividualNodeSetPolicy() |
IndividualNodeSetPolicy |
OWLReasonerConfiguration.getIndividualNodeSetPolicy()
Gets the
IndividualNodeSetPolicy
which determines how NodeSet s of named individuals are returned
from the reasoner. |
IndividualNodeSetPolicy |
OWLReasoner.getIndividualNodeSetPolicy()
Gets the IndividualNodeSetPolicy in use by this reasoner.
|
static IndividualNodeSetPolicy |
IndividualNodeSetPolicy.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static IndividualNodeSetPolicy[] |
IndividualNodeSetPolicy.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Constructor and Description |
---|
SimpleConfiguration(ReasonerProgressMonitor progressMonitor,
FreshEntityPolicy freshEntityPolicy,
long timeOut,
IndividualNodeSetPolicy individualNodeSetPolicy) |
Modifier and Type | Method and Description |
---|---|
IndividualNodeSetPolicy |
OWLReasonerBase.getIndividualNodeSetPolicy() |
Modifier and Type | Method and Description |
---|---|
IndividualNodeSetPolicy |
StructuralReasoner.getIndividualNodeSetPolicy() |
Copyright © 2020 The University of Manchester. All rights reserved.