Package com.complexible.stardog.reasoning

Class ReasoningOptions

  • All Implemented Interfaces:
    MetaPropertyProvider
    public final class ReasoningOptions
extends java.lang.Object
implements MetaPropertyProvider
    Options for controlling reasoning behavior.
    Since:
    3.0
    Version:
    7.2.1
    Author:
    Evren Sirin

    • Field Detail

      • DEFAULT_SCHEMA_GRAPH_IRI

        public static final IRI DEFAULT_SCHEMA_GRAPH_IRI

      • EQUALITY_REASONING

        public static final ConfigProperty<com.complexible.stardog.index.EqualityReasoningLevel> EQUALITY_REASONING
        Database option to specify the expressivity level to be used when performing equality reasoning. When this option is set to ON reflexive, symmetric, and transitive closure of the 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.

      • SCHEMA_GRAPHS

        public static final ConfigProperty<java.util.Collection<IRI>> SCHEMA_GRAPHS
        Option to specify the named graphs from where the default schema (ontology, "TBox") should be extracted. The value is a collection of named graph IRIs. The default value is tag:stardog:api:context:schema.

      • SCHEMAS

        public static final ConfigProperty<java.util.Collection<com.complexible.stardog.reasoning.SchemaGraph>> SCHEMAS
        Option to specify the named schemas and the named graphs that constitute each schema. There should be one 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.

      • ENABLE_SCHEMA_VERSIONING

        public static final ConfigProperty<java.lang.Boolean> ENABLE_SCHEMA_VERSIONING

      • SCHEMAS_MEMORY_COUNT

        public static final ConfigProperty<java.lang.Integer> SCHEMAS_MEMORY_COUNT
        Option to specify the number of 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.

      • PUNNING_ENABLED

        public static final ConfigProperty<java.lang.Boolean> PUNNING_ENABLED
        Enables punning; the ability for an IRI to represent both a class and an individual.

      • CONSISTENCY_AUTOMATIC

        public static final ConfigProperty<java.lang.Boolean> CONSISTENCY_AUTOMATIC
        Option to specify if consistency checking should be performed automatically during reasoning. If this option is turned on, Stardog will perform consistency checking any time a query through a reasoner connection (see its isConsistent() method). 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 the isConsistent() function is explicitly called.

      • SCHEMA_REASONING_TIMEOUT

        public static final ConfigProperty<Duration> SCHEMA_REASONING_TIMEOUT
        Timeout for schema reasoning. If schema reasoning cannot be completed in the specified time then only RDFS reasoning will be performed for the schema which might yield incomplete answers for the schema queries. The timeout values specified as test be a positive integer followed by either letter 'h' (for hours), letter 'm' (for minutes), letter 's' (for seconds), or letters 'ms' (for milliseconds). Examples: '1h' for 1 hour, '5m' for 5 minutes, '90s' for 90 seconds, '500ms' for 500 milliseconds.

      • REASONING_TYPE

        public static final ConfigProperty<ReasoningType> REASONING_TYPE
        Database option to specify the expressivity level to be used when performing reasoning.

      • APPROXIMATE

        public static final ConfigProperty<java.lang.Boolean> APPROXIMATE
        Flag to enable approximate reasoning. With this flag enabled Stardog will approximate an axiom that is outside the profile Stardog supports and normally ignored. For example, an equivalent class axiom might be split into two subclass axioms and only one subclass axiom is used.

      • VIRTUAL_GRAPH

        public static final ConfigProperty<java.lang.Boolean> VIRTUAL_GRAPH
        Flag to enable reasoning over virtual graphs and SERVICE clauses. If this option is enabled then the virtual graph and SERVICE clauses will be rewritten with respect to the scheme of the database and the rewritten query will be sent for evaluation. If this option is disabled virtual graph queries will be evaluated as is.

      • EAGER_CLASSIFY

        public static final ConfigProperty<java.lang.Boolean> EAGER_CLASSIFY
        Flag to perform schema classification eagerly when the schema is loaded. Classifying eagerly ensures subclass and equivalence queries between named classes can be answered with a simple lookup. However, if the schema is changing frequently then this option can be turned off so classification is performed only if necessary.

      • PRECOMPUTE_NON_EMPTY_TERMS

        public static final ConfigProperty<java.lang.Boolean> PRECOMPUTE_NON_EMPTY_TERMS

      • REWRITING_STRATEGY

        public static final ConfigProperty<com.complexible.stardog.reasoning.RewritingStrategy> REWRITING_STRATEGY

      • OPTIMIZE

        public static final ConfigProperty<java.lang.Boolean> OPTIMIZE

      • STRIDE

        public static final ConfigProperty<java.lang.Boolean> STRIDE

      • REWRITE_LIMIT

        public static final ConfigProperty<java.lang.Integer> REWRITE_LIMIT