|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.mindswap.pellet.PelletOptions
public class PelletOptions
This class contains options used throughout different modules of the reasoner. Setting one of the values should have effect in the behavior of the reasoner regardless of whether it is based on Jena or OWL-API (though some options are applicable only in one implementation). Some of these options are to control experimental extensions to the reasoner and may be removed in future releases as these features are completely tested and integrated.
Field Summary | |
---|---|
static java.lang.String |
ANON
Prefix to be added to anonymous individuals tableaux algorithm creates |
static java.lang.String |
BNODE
Prefix to be added to bnode identifiers |
static boolean |
BREADTH_FIRST
|
static boolean |
CACHE_RETRIEVAL
|
static boolean |
CHECK_NOMINAL_EDGES
To decide if individual i has type class c check
if the edges from cached model of c to nominal nodes also exists
for the cached model of i . |
static boolean |
COMBINED_TSAT_SAT
|
static boolean |
COPY_ON_WRITE
When doing a satisfiability check for a concept, do not copy the individuals even if there are nominals in the KB until you hit a nominal rule application. |
static java.lang.Class |
DEFAULT_COMPLETION_STRATEGY
The default strategy used for ABox completion. |
static java.lang.String |
DEFAULT_CONFIGURATION_FILE
|
static boolean |
DEPTH_FIRST
|
static boolean |
FORCE_OPTIMIZED_BLOCKING
Use optimized blocking even for SHOIN. |
static java.lang.String |
NO_SORTING
|
static java.lang.String |
OLDEST_FIRST
|
static boolean |
PRINT_ABOX
Print completion graph after each iteration (Should be used only for debugging purposes). |
static boolean |
PRINT_SIZE
Print the size of the TBox and ABox after parsing. |
static boolean |
REORDER_QUERY
|
static boolean |
SATURATE_TABLEAU
When this option is set completion will go on even if a clash is detected until the completion graph is saturated. |
static boolean |
SEARCH_TYPE
|
static boolean |
SHOW_CLASSIFICATION_PROGRESS
|
static boolean |
SILENT_UNDEFINED_ENTITY_HANDLING
Control the behavior if a function such as kb.getInstances(), kb.getTypes(), kb.getPropertyValues() is called with a parameter that is an undefined class, property or individual. |
static boolean |
SIMPLIFY_QUERY
|
static boolean |
SPLIT_QUERY
|
static java.lang.String |
TINST
Prefix to be added to anonymous time instants - temporal individuals tableaux algorithm creates |
static boolean |
TREAT_ALL_VARS_DISTINGUISHED
Deprecated. According to SPARQL semantics all variables are distinguished by definition and bnodes in the query are non-distinguished variables so this option is not used anymore |
static boolean |
USE_ABSORPTION
TBox absorption will be used to move some of the General Inclusion Axioms (GCI) from Tg to Tu. |
static boolean |
USE_ADVANCED_CACHING
|
static boolean |
USE_BACKJUMPING
Use dependency directed backjumping |
static boolean |
USE_CACHING
Cache the pseudo models for named classes and individuals. |
static boolean |
USE_COMPLETION_STRATEGY
Dynamically find the best completion strategy for the KB. |
static boolean |
USE_DISJUNCT_SORTING
Sort the disjuncts based on the statistics |
static java.lang.String |
USE_DISJUNCTION_SORTING
|
static boolean |
USE_FULL_DATATYPE_REASONING
Check the cardinality restrictions on datatype properties and handle inverse functional datatype properties |
static boolean |
USE_HASVALUE_ABSORPTION
|
static boolean |
USE_LOCAL_NAME
When this option is enabled all entities (classes, properties, individuals) are identified using local names rather than full URI's. |
static boolean |
USE_NEW_QUERY_PARSER
The new query parser recognizes class expressions encoded in SPARQL queries and allows the Pellet query engine to handle more ABox queries. |
static boolean |
USE_NOMINAL_ABSORPTION
Absorb TBox axioms about nominals into ABox assertions |
static boolean |
USE_OPTIMIZEDINDIVIDUALS
|
static boolean |
USE_PSEUDO_MODEL
When a consistency check starts in ABox use the cached pseudo model as the starting point rather than the original ABox. |
static boolean |
USE_PSEUDO_NOMINALS
Treat nominals (classes defined by enumeration) as named atomic concepts rather than individual names. |
static boolean |
USE_QNAME
|
static boolean |
USE_ROLE_ABSORPTION
Absorb TBox axioms into domain/range restrictions in RBox |
static boolean |
USE_SEMANTIC_BRANCHING
Use semantic branching, i.e. add the negation of a disjunct when the next branch is being tried |
static boolean |
USE_SMART_RESTORE
During backjumping use dependency set information to restore node labels rather than restoring the label exactly to the previous state. |
static boolean |
USE_UNIQUE_NAME_ASSUMPTION
This option tells Pellet to treat every individual with a distinct URI to be different from each other. |
static boolean |
VALIDATE_ABOX
Validate ABox structure during completion (Should be used only for debugging purposes). |
Constructor Summary | |
---|---|
PelletOptions()
|
Method Summary |
---|
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static boolean COMBINED_TSAT_SAT
public static boolean SATURATE_TABLEAU
*********** DO NOT CHANGE THE VALUE OF THIS OPTION **************
public static boolean USE_UNIQUE_NAME_ASSUMPTION
definition with
all the individuals. This option does not affect b-nodes, they can still be
inferred to be same.
public static boolean TREAT_ALL_VARS_DISTINGUISHED
public static boolean USE_DISJUNCT_SORTING
public static boolean SHOW_CLASSIFICATION_PROGRESS
public static final java.lang.String NO_SORTING
public static final java.lang.String OLDEST_FIRST
public static java.lang.String USE_DISJUNCTION_SORTING
public static boolean USE_LOCAL_NAME
public static boolean USE_QNAME
public static boolean USE_ABSORPTION
public static boolean USE_ROLE_ABSORPTION
public static boolean USE_NOMINAL_ABSORPTION
public static boolean USE_HASVALUE_ABSORPTION
public static boolean USE_OPTIMIZEDINDIVIDUALS
public static boolean USE_BACKJUMPING
public static boolean USE_FULL_DATATYPE_REASONING
public static boolean USE_CACHING
public static boolean USE_ADVANCED_CACHING
public static boolean CHECK_NOMINAL_EDGES
i
has type class c
check
if the edges from cached model of c
to nominal nodes also exists
for the cached model of i
.
public static boolean USE_SMART_RESTORE
public static boolean USE_PSEUDO_MODEL
public static boolean USE_PSEUDO_NOMINALS
public static boolean USE_COMPLETION_STRATEGY
public static boolean USE_SEMANTIC_BRANCHING
public static java.lang.Class DEFAULT_COMPLETION_STRATEGY
*********** DO NOT CHANGE THE VALUE OF THIS OPTION **************
public static boolean PRINT_SIZE
public static final java.lang.String BNODE
public static final java.lang.String ANON
public static final java.lang.String TINST
public static boolean COPY_ON_WRITE
public static boolean SILENT_UNDEFINED_ENTITY_HANDLING
public static boolean VALIDATE_ABOX
public static boolean PRINT_ABOX
public static final boolean DEPTH_FIRST
public static final boolean BREADTH_FIRST
public static boolean SEARCH_TYPE
public static boolean FORCE_OPTIMIZED_BLOCKING
*********** DO NOT CHANGE THE VALUE OF THIS OPTION **************
public static boolean SPLIT_QUERY
public static boolean SIMPLIFY_QUERY
public static boolean REORDER_QUERY
public static boolean CACHE_RETRIEVAL
public static boolean USE_NEW_QUERY_PARSER
public static java.lang.String DEFAULT_CONFIGURATION_FILE
Constructor Detail |
---|
public PelletOptions()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |