public class ConfigReader
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
static boolean |
ANYWHERE_DOUBLE_BLOCKING
Anywhere pairwise blocking applied.
|
static boolean |
ANYWHERE_SIMPLE_BLOCKING
Anywhere simple blocking applied.
|
static boolean |
DEBUG_PRINT
Debugging mode.
|
static double |
EPSILON
Precision of the reasoner.
|
static int |
MAX_INDIVIDUALS
Maximum number of new individuals that will be created.
|
static int |
NUMBER_DIGITS
Number of digits of precision.
|
static int |
OPTIMIZATIONS
Level of the optimizations applied.
0 disables optimizations; a positive value enables optimizations.
|
static boolean |
RULE_ACYCLIC_TBOXES
Rule acyclic TBox optimization applied.
|
static boolean |
SHOW_VERSION
Show the version of the reasoner.
|
| Constructor and Description |
|---|
ConfigReader() |
| Modifier and Type | Method and Description |
|---|---|
static void |
loadParameters(java.lang.String configFile,
java.lang.String[] args)
Load parameters for the reasoner.
|
public static boolean ANYWHERE_DOUBLE_BLOCKING
public static boolean ANYWHERE_SIMPLE_BLOCKING
public static boolean DEBUG_PRINT
public static double EPSILON
public static int MAX_INDIVIDUALS
public static int NUMBER_DIGITS
public static int OPTIMIZATIONS
public static boolean RULE_ACYCLIC_TBOXES
public static boolean SHOW_VERSION