org.mindswap.pellet
Class PelletOptions

java.lang.Object
  extended by org.mindswap.pellet.PelletOptions

public class PelletOptions
extends java.lang.Object

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.

Author:
Evren Sirin

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

COMBINED_TSAT_SAT

public static boolean COMBINED_TSAT_SAT

SATURATE_TABLEAU

public 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. Turning this option has very severe performance effect and right now is only used for experimental purposes to generate explanations.

*********** DO NOT CHANGE THE VALUE OF THIS OPTION **************


USE_UNIQUE_NAME_ASSUMPTION

public static boolean USE_UNIQUE_NAME_ASSUMPTION
This option tells Pellet to treat every individual with a distinct URI to be different from each other. This is against the semantics of OWL but is much more efficient than adding an definition with all the individuals. This option does not affect b-nodes, they can still be inferred to be same.


TREAT_ALL_VARS_DISTINGUISHED

public 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

USE_DISJUNCT_SORTING

public static boolean USE_DISJUNCT_SORTING
Sort the disjuncts based on the statistics


SHOW_CLASSIFICATION_PROGRESS

public static boolean SHOW_CLASSIFICATION_PROGRESS

NO_SORTING

public static final java.lang.String NO_SORTING
See Also:
Constant Field Values

OLDEST_FIRST

public static final java.lang.String OLDEST_FIRST
See Also:
Constant Field Values

USE_DISJUNCTION_SORTING

public static java.lang.String USE_DISJUNCTION_SORTING

USE_LOCAL_NAME

public 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. This makes the debugging messages shorter and easier to inspect by eye. This options should be used with care because it is relatively easy to have local names with different namespaces clash. *** This option should only be used for debugging purposes. ***


USE_QNAME

public static boolean USE_QNAME

USE_ABSORPTION

public static boolean USE_ABSORPTION
TBox absorption will be used to move some of the General Inclusion Axioms (GCI) from Tg to Tu.


USE_ROLE_ABSORPTION

public static boolean USE_ROLE_ABSORPTION
Absorb TBox axioms into domain/range restrictions in RBox


USE_NOMINAL_ABSORPTION

public static boolean USE_NOMINAL_ABSORPTION
Absorb TBox axioms about nominals into ABox assertions


USE_HASVALUE_ABSORPTION

public static boolean USE_HASVALUE_ABSORPTION

USE_OPTIMIZEDINDIVIDUALS

public static boolean USE_OPTIMIZEDINDIVIDUALS

USE_BACKJUMPING

public static boolean USE_BACKJUMPING
Use dependency directed backjumping


USE_FULL_DATATYPE_REASONING

public static boolean USE_FULL_DATATYPE_REASONING
Check the cardinality restrictions on datatype properties and handle inverse functional datatype properties


USE_CACHING

public static boolean USE_CACHING
Cache the pseudo models for named classes and individuals.


USE_ADVANCED_CACHING

public static boolean USE_ADVANCED_CACHING

CHECK_NOMINAL_EDGES

public 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.


USE_SMART_RESTORE

public 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.


USE_PSEUDO_MODEL

public 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. Since all the branching information is already stored in the pseudo model, this should be logically equivalent but much faster


USE_PSEUDO_NOMINALS

public static boolean USE_PSEUDO_NOMINALS
Treat nominals (classes defined by enumeration) as named atomic concepts rather than individual names. Turning this option improves the performance but soundness and completeness cannot be established.


USE_COMPLETION_STRATEGY

public static boolean USE_COMPLETION_STRATEGY
Dynamically find the best completion strategy for the KB. If disabled SHION strategy will be used for all the ontologies.


USE_SEMANTIC_BRANCHING

public static boolean USE_SEMANTIC_BRANCHING
Use semantic branching, i.e. add the negation of a disjunct when the next branch is being tried


DEFAULT_COMPLETION_STRATEGY

public static java.lang.Class DEFAULT_COMPLETION_STRATEGY
The default strategy used for ABox completion. If this values is set, this strategy will be used for all the KB's regardless of the expressivity.

*********** DO NOT CHANGE THE VALUE OF THIS OPTION **************


PRINT_SIZE

public static boolean PRINT_SIZE
Print the size of the TBox and ABox after parsing.


BNODE

public static final java.lang.String BNODE
Prefix to be added to bnode identifiers

See Also:
Constant Field Values

ANON

public static final java.lang.String ANON
Prefix to be added to anonymous individuals tableaux algorithm creates

See Also:
Constant Field Values

TINST

public static final java.lang.String TINST
Prefix to be added to anonymous time instants - temporal individuals tableaux algorithm creates

See Also:
Constant Field Values

COPY_ON_WRITE

public 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.


SILENT_UNDEFINED_ENTITY_HANDLING

public 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. If this option is set to true then an exception is thrown each time this occurs, if not set the corresponding function returns a false value (or an empty set where appropriate).


VALIDATE_ABOX

public static boolean VALIDATE_ABOX
Validate ABox structure during completion (Should be used only for debugging purposes).


PRINT_ABOX

public static boolean PRINT_ABOX
Print completion graph after each iteration (Should be used only for debugging purposes).


DEPTH_FIRST

public static final boolean DEPTH_FIRST
See Also:
Constant Field Values

BREADTH_FIRST

public static final boolean BREADTH_FIRST
See Also:
Constant Field Values

SEARCH_TYPE

public static boolean SEARCH_TYPE

FORCE_OPTIMIZED_BLOCKING

public static boolean FORCE_OPTIMIZED_BLOCKING
Use optimized blocking even for SHOIN. It is not clear that using this blocking method would be sound or complete. It is here just for experimental purposes.

*********** DO NOT CHANGE THE VALUE OF THIS OPTION **************


SPLIT_QUERY

public static boolean SPLIT_QUERY

SIMPLIFY_QUERY

public static boolean SIMPLIFY_QUERY

REORDER_QUERY

public static boolean REORDER_QUERY

CACHE_RETRIEVAL

public static boolean CACHE_RETRIEVAL

USE_NEW_QUERY_PARSER

public 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.


DEFAULT_CONFIGURATION_FILE

public static java.lang.String DEFAULT_CONFIGURATION_FILE
Constructor Detail

PelletOptions

public PelletOptions()


Copyright © 2007-2009 Natalya Keberle. All Rights Reserved.