Package | Description |
---|---|
org.dllearner.reasoning |
Implements the connection to other reasoner or own reasoning/caching algorithms.
|
Modifier and Type | Method and Description |
---|---|
ClosedWorldReasoner.ForallSemantics |
ClosedWorldReasoner.getForAllSemantics() |
static ClosedWorldReasoner.ForallSemantics |
ClosedWorldReasoner.ForallSemantics.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static ClosedWorldReasoner.ForallSemantics[] |
ClosedWorldReasoner.ForallSemantics.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
void |
ClosedWorldReasoner.setForAllSemantics(ClosedWorldReasoner.ForallSemantics forAllSemantics) |
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann