com.bigdata.rdf.rules
Interface InferenceEngine.Options

All Known Subinterfaces:

AbstractTripleStore.Options, BigdataSail.Options, LocalTripleStore.Options, TempTripleStore.Options

Enclosing class:

InferenceEngine

public static interface InferenceEngine.Options

Options for the InferenceEngine.

Version:

$Id: InferenceEngine.java 6031 2012-02-16 08:43:46Z mrpersonick $

Author:

Bryan Thompson

Field Summary

static String	DEFAULT_FORWARD_CHAIN_OWL_EQUIVALENT_CLASS
static String	DEFAULT_FORWARD_CHAIN_OWL_EQUIVALENT_PROPERTY
static String	DEFAULT_FORWARD_CHAIN_OWL_HAS_VALUE
static String	DEFAULT_FORWARD_CHAIN_OWL_INVERSE_OF
static String	DEFAULT_FORWARD_CHAIN_OWL_SAMEAS_CLOSURE
static String	DEFAULT_FORWARD_CHAIN_OWL_SAMEAS_PROPERTIES
static String	DEFAULT_FORWARD_CHAIN_OWL_SYMMETRIC_PROPERTY
static String	DEFAULT_FORWARD_CHAIN_OWL_TRANSITIVE_PROPERTY
static String	DEFAULT_FORWARD_RDF_TYPE_RDFS_RESOURCE
static String	FORWARD_CHAIN_OWL_EQUIVALENT_CLASS When true (default "true") the entailments for owl:equivilantClass are computed by forward chaining and stored in the database.
static String	FORWARD_CHAIN_OWL_EQUIVALENT_PROPERTY When true (default "true") the entailments for owl:equivilantProperty are computed by forward chaining and stored in the database.
static String	FORWARD_CHAIN_OWL_HAS_VALUE When true (default "true") the entailments for owl:hasValue are computed by forward chaining and stored in the database.
static String	FORWARD_CHAIN_OWL_INVERSE_OF When true (default ) the entailments for owl:InverseOf are computed by forward chaining and stored in the database.
static String	FORWARD_CHAIN_OWL_SAMEAS_CLOSURE When true (default "true") the reflexive entailments for owl:sameAs are computed by forward chaining and stored in the database unless AbstractTripleStore.Options.AXIOMS_CLASS is used to completely disable those entailments, e.g., by specifying either NoAxioms or RdfsAxioms.
static String	FORWARD_CHAIN_OWL_SAMEAS_PROPERTIES When true (default "true") the entailments that replication properties between instances that are identified as "the same" using owl:sameAs will be forward chained and stored in the database.
static String	FORWARD_CHAIN_OWL_SYMMETRIC_PROPERTY When true (default "true") the entailments for owl:SymmetricProperty are computed by forward chaining and stored in the database.
static String	FORWARD_CHAIN_OWL_TRANSITIVE_PROPERTY When true (default "true") the entailments for owl:TransitiveProperty are computed by forward chaining and stored in the database.
static String	FORWARD_CHAIN_RDF_TYPE_RDFS_RESOURCE When true (default "false") (?x rdf:type rdfs:Resource) entailments are computed AND stored in the database.

Field Detail

FORWARD_CHAIN_RDF_TYPE_RDFS_RESOURCE

static final String FORWARD_CHAIN_RDF_TYPE_RDFS_RESOURCE

When true (default "false") (?x rdf:type rdfs:Resource) entailments are computed AND stored in the database. When false, rules that produce those entailments are turned off such that they are neither computed NOR stored and a backward chainer or magic sets technique must be used to generate the entailments at query time.

Note: Eagerly materializing those entailments takes a lot of time and space but it reduces time during query IF you are asking for these entailments (many realistic queries do not). Therefore it is generally a win to turn this option off.

See Also:

BackchainAccessPath, BackchainTypeResourceIterator

DEFAULT_FORWARD_RDF_TYPE_RDFS_RESOURCE

static final String DEFAULT_FORWARD_RDF_TYPE_RDFS_RESOURCE

See Also:

Constant Field Values

FORWARD_CHAIN_OWL_SAMEAS_CLOSURE

static final String FORWARD_CHAIN_OWL_SAMEAS_CLOSURE

When true (default "true") the reflexive entailments for owl:sameAs are computed by forward chaining and stored in the database unless AbstractTripleStore.Options.AXIOMS_CLASS is used to completely disable those entailments, e.g., by specifying either NoAxioms or RdfsAxioms. When false those entailments are not computed and owl:sameAs processing is disabled.

DEFAULT_FORWARD_CHAIN_OWL_SAMEAS_CLOSURE

static final String DEFAULT_FORWARD_CHAIN_OWL_SAMEAS_CLOSURE

See Also:

Constant Field Values

FORWARD_CHAIN_OWL_SAMEAS_PROPERTIES

static final String FORWARD_CHAIN_OWL_SAMEAS_PROPERTIES

When true (default "true") the entailments that replication properties between instances that are identified as "the same" using owl:sameAs will be forward chained and stored in the database. When false, rules that produce those entailments are turned off such that they are neither computed NOR stored and the entailments may be accessed at query time using the BackchainAccessPath.

Note: The default is false since those entailments can take up a LOT of space in the store and are expensive to compute during data load. It is a lot easier to compute them dynamically when presented with a specific triple pattern. While more computation is performed if a fill triple scan is frequently requested, that is an unusual case and significantly less data will be stored regardless.

Note: I've changed the default to true until we fix the query time computation, which is currently broken. --MP

See Also:

BackchainAccessPath

DEFAULT_FORWARD_CHAIN_OWL_SAMEAS_PROPERTIES

static final String DEFAULT_FORWARD_CHAIN_OWL_SAMEAS_PROPERTIES

See Also:

Constant Field Values

FORWARD_CHAIN_OWL_EQUIVALENT_PROPERTY

static final String FORWARD_CHAIN_OWL_EQUIVALENT_PROPERTY

When true (default "true") the entailments for owl:equivilantProperty are computed by forward chaining and stored in the database. When false, rules that produce those entailments are turned off such that they are neither computed NOR stored and a backward chainer or magic sets technique must be used to generate the entailments at query time.

TODO:

implement backward chaining for owl:equivalentProperty and compare performance?

DEFAULT_FORWARD_CHAIN_OWL_EQUIVALENT_PROPERTY

static final String DEFAULT_FORWARD_CHAIN_OWL_EQUIVALENT_PROPERTY

See Also:

Constant Field Values

FORWARD_CHAIN_OWL_EQUIVALENT_CLASS

static final String FORWARD_CHAIN_OWL_EQUIVALENT_CLASS

When true (default "true") the entailments for owl:equivilantClass are computed by forward chaining and stored in the database. When false, rules that produce those entailments are turned off such that they are neither computed NOR stored and a backward chainer or magic sets technique must be used to generate the entailments at query time.

TODO:

implement backward chaining for owl:equivalentClass and compare performance?

DEFAULT_FORWARD_CHAIN_OWL_EQUIVALENT_CLASS

static final String DEFAULT_FORWARD_CHAIN_OWL_EQUIVALENT_CLASS

See Also:

Constant Field Values

FORWARD_CHAIN_OWL_INVERSE_OF

static final String FORWARD_CHAIN_OWL_INVERSE_OF

When true (default ) the entailments for owl:InverseOf are computed by forward chaining and stored in the database. When false, rules that produce those entailments are turned off such that they are neither computed NOR stored and a backward chainer or magic sets technique must be used to generate the entailments at query time.

DEFAULT_FORWARD_CHAIN_OWL_INVERSE_OF

static final String DEFAULT_FORWARD_CHAIN_OWL_INVERSE_OF

See Also:

Constant Field Values

FORWARD_CHAIN_OWL_TRANSITIVE_PROPERTY

static final String FORWARD_CHAIN_OWL_TRANSITIVE_PROPERTY

When true (default "true") the entailments for owl:TransitiveProperty are computed by forward chaining and stored in the database. When false, rules that produce those entailments are turned off such that they are neither computed NOR stored and a backward chainer or magic sets technique must be used to generate the entailments at query time.

DEFAULT_FORWARD_CHAIN_OWL_TRANSITIVE_PROPERTY

static final String DEFAULT_FORWARD_CHAIN_OWL_TRANSITIVE_PROPERTY

See Also:

Constant Field Values

FORWARD_CHAIN_OWL_HAS_VALUE

static final String FORWARD_CHAIN_OWL_HAS_VALUE

When true (default "true") the entailments for owl:hasValue are computed by forward chaining and stored in the database. When false, rules that produce those entailments are turned off such that they are neither computed NOR stored and a backward chainer or magic sets technique must be used to generate the entailments at query time.

DEFAULT_FORWARD_CHAIN_OWL_HAS_VALUE

static final String DEFAULT_FORWARD_CHAIN_OWL_HAS_VALUE

See Also:

Constant Field Values

FORWARD_CHAIN_OWL_SYMMETRIC_PROPERTY

static final String FORWARD_CHAIN_OWL_SYMMETRIC_PROPERTY

When true (default "true") the entailments for owl:SymmetricProperty are computed by forward chaining and stored in the database. When false, rules that produce those entailments are turned off such that they are neither computed NOR stored and a backward chainer or magic sets technique must be used to generate the entailments at query time.

DEFAULT_FORWARD_CHAIN_OWL_SYMMETRIC_PROPERTY

static final String DEFAULT_FORWARD_CHAIN_OWL_SYMMETRIC_PROPERTY

See Also:

Constant Field Values