public final class ReasoningOptions extends Object implements MetaPropertyProvider
Modifier and Type | Field and Description |
---|---|
static ConfigProperty<Boolean> |
APPROXIMATE
Flag to enable approximate reasoning.
|
static ConfigProperty<Boolean> |
CONSISTENCY_AUTOMATIC
Option to specify if consistency checking should be performed automatically during reasoning.
|
static ConfigProperty<Boolean> |
EAGER_CLASSIFY
Flag to perform schema classification eagerly when the schema is loaded.
|
static ConfigProperty<com.complexible.stardog.index.EqualityReasoningLevel> |
EQUALITY_REASONING
Database option to specify the expressivity level to be used when performing equality reasoning.
|
static ConfigProperty<Boolean> |
OPTIMIZE |
static ConfigProperty<Boolean> |
PRECOMPUTE_NON_EMPTY_TERMS |
static ConfigProperty<Boolean> |
PUNNING_ENABLED
Enables punning; the ability for an IRI to represent both a class and an individual.
|
static ConfigProperty<ReasoningType> |
REASONING_TYPE
Database option to specify the expressivity level to be used when performing reasoning.
|
static ConfigProperty<com.complexible.stardog.reasoning.RewritingStrategy> |
REWRITING_STRATEGY |
static ConfigProperty<Collection<IRI>> |
SCHEMA_GRAPHS
Option to specify the named graphs from where the default schema (ontology, "TBox") should be extracted.
|
static ConfigProperty<Duration> |
SCHEMA_REASONING_TIMEOUT
Timeout for schema reasoning.
|
static ConfigProperty<Collection<com.complexible.stardog.reasoning.SchemaGraph>> |
SCHEMAS
Option to specify the named schemas and the named graphs that constitute each schema.
|
static ConfigProperty<Integer> |
SCHEMAS_MEMORY_COUNT
Option to specify the number of
schemas to keep in memory. |
static ConfigProperty<Boolean> |
VIRTUAL_GRAPH
Flag to enable reasoning over virtual graphs and SERVICE clauses.
|
public static final ConfigProperty<com.complexible.stardog.index.EqualityReasoningLevel> EQUALITY_REASONING
owl:sameAs
triples in the database is computed. When it is set to FULL, all inferences from
On are kept but additional owl:sameAs
inferences are computed based on the schema axioms such as functional properties. Only the
default schema is used in the FULL mode.public static final ConfigProperty<Collection<IRI>> SCHEMA_GRAPHS
ContextSets.LOCAL
which means the entire
database will be used. ContextSets.DEFAULT_ONLY
can be used to indicate to use only the default graph.public static final ConfigProperty<Collection<com.complexible.stardog.reasoning.SchemaGraph>> SCHEMAS
SchemaGraph
instance for each named graph in a schema. The graphs for the default schema are set via the SCHEMA_GRAPHS
option and
only the graphs for named schemas are set via this option. The default value is an empty collection indicating there are no named
schemas in the database.public static final ConfigProperty<Integer> SCHEMAS_MEMORY_COUNT
schemas
to keep in memory. There can be more schemas defined in the database but only this
many schemas will be kept in memory and other schemas will be pulled into memory as queries are getting answered. If this limit is too high
amount of memory used for schemas will increase and might cause memory problems. If it is too low then answering reasoning queries might slow
down.public static final ConfigProperty<Boolean> PUNNING_ENABLED
public static final ConfigProperty<Boolean> CONSISTENCY_AUTOMATIC
ReasoningConnection
is executed and calling ReasoningConnection.isConsistent()
later will return this value. If the
underlying database did not change since the last consistency check, the consistency check will not be performed.
By default, this option is turned off meaning consistency check will only be performed when
ReasoningConnection.isConsistent()
function is explicitly called.public static final ConfigProperty<Duration> SCHEMA_REASONING_TIMEOUT
public static final ConfigProperty<ReasoningType> REASONING_TYPE
public static final ConfigProperty<Boolean> APPROXIMATE
public static final ConfigProperty<Boolean> VIRTUAL_GRAPH
public static final ConfigProperty<Boolean> EAGER_CLASSIFY
public static final ConfigProperty<Boolean> PRECOMPUTE_NON_EMPTY_TERMS
public static final ConfigProperty<com.complexible.stardog.reasoning.RewritingStrategy> REWRITING_STRATEGY
public static final ConfigProperty<Boolean> OPTIMIZE
Copyright © 2010-2016 Stardog Union. All Rights Reserved.