org.eclipse.rdf4j.sail.inferencer.fc

Class SchemaCachingRDFSInferencer

java.lang.Object

org.eclipse.rdf4j.sail.helpers.SailWrapper

org.eclipse.rdf4j.sail.helpers.NotifyingSailWrapper

org.eclipse.rdf4j.sail.inferencer.fc.SchemaCachingRDFSInferencer

All Implemented Interfaces:

FederatedServiceResolverClient, NotifyingSail, Sail, StackableSail

public class SchemaCachingRDFSInferencer
extends org.eclipse.rdf4j.sail.helpers.NotifyingSailWrapper

The SchemaCachingRDFSInferencer is an RDFS reasoner that caches all schema (TBox) statements and calculates an inference map to quickly determine inferred statements. The reasoner can also be instantiated with a predefined schema for improved performance.

This reasoner is not a rule based reasoner and will be up to 80x faster than the ForwardChainingRDFSInferencer, as well as being more complete.

The sail puts no limitations on isolation level for read transactions, however all write/delete/update transactions are serializable with exclusive locks. This limits write/delete/update transactions to one transaction at a time.

Author:

Håvard Mikkelsen Ottestad

Constructor Summary

Constructors

Constructor and Description
SchemaCachingRDFSInferencer(NotifyingSail data) Instantiate a SchemaCachingRDFSInferencer.
SchemaCachingRDFSInferencer(NotifyingSail data, boolean useAllRdfsRules) Instantiate a SchemaCachingRDFSInferencer.
SchemaCachingRDFSInferencer(NotifyingSail data, Repository schema) Instantiate a SchemaCachingRDFSInferencer with a predefined schema.
SchemaCachingRDFSInferencer(NotifyingSail data, Repository schema, boolean useAllRdfsRules) Instantiate a SchemaCachingRDFSInferencer with a predefined schema.

Method Summary

Modifier and Type	Method and Description
static SchemaCachingRDFSInferencer	fastInstantiateFrom(SchemaCachingRDFSInferencer sailToInstantiateFrom, NotifyingSail store) Instantiate a new SchemaCachingRDFSInferencer from an existing one.
static SchemaCachingRDFSInferencer	fastInstantiateFrom(SchemaCachingRDFSInferencer sailToInstantiateFrom, NotifyingSail store, boolean useAllRdfsRules) Instantiate a new SchemaCachingRDFSInferencer from an existing one.
SchemaCachingRDFSInferencerConnection	getConnection()
IsolationLevel	getDefaultIsolationLevel()
List<IsolationLevel>	getSupportedIsolationLevels()
ValueFactory	getValueFactory()
void	initialize()

Methods inherited from class org.eclipse.rdf4j.sail.helpers.NotifyingSailWrapper

addSailChangedListener, getBaseSail, removeSailChangedListener, setBaseSail

Methods inherited from class org.eclipse.rdf4j.sail.helpers.SailWrapper

getDataDir, isWritable, setDataDir, setFederatedServiceResolver, shutDown, verifyBaseSailSet

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.eclipse.rdf4j.sail.Sail

getDataDir, isWritable, setDataDir, shutDown

Constructor Detail

SchemaCachingRDFSInferencer

public SchemaCachingRDFSInferencer(NotifyingSail data)

Instantiate a SchemaCachingRDFSInferencer.

Parameters:

data - Base sail for storing data.

SchemaCachingRDFSInferencer

public SchemaCachingRDFSInferencer(NotifyingSail data,
                                   Repository schema)

Instantiate a SchemaCachingRDFSInferencer with a predefined schema. The schema will be used for inference, all other schema statements added will be ignored and no schema statements can be removed. Using a predefined schema significantly improves performance.

Parameters:

data - Base sail for storing data.

schema - Repository containing the schema.

SchemaCachingRDFSInferencer

public SchemaCachingRDFSInferencer(NotifyingSail data,
                                   boolean useAllRdfsRules)

Instantiate a SchemaCachingRDFSInferencer.

Parameters:

data - Base sail for storing data.

useAllRdfsRules - Usel all RDFS rules. If set to false rule rdf4a and rdfs4b will be ignore

SchemaCachingRDFSInferencer

public SchemaCachingRDFSInferencer(NotifyingSail data,
                                   Repository schema,
                                   boolean useAllRdfsRules)

Instantiate a SchemaCachingRDFSInferencer with a predefined schema. The schema will be used for inference, all other schema statements added will be ignored and no schema statements can be removed. Using a predefined schema significantly improves performance.

Parameters:

data - Base sail for storing data.

schema - Repository containing the schema.

useAllRdfsRules - Usel all RDFS rules. If set to false rule rdf4a and rdfs4b will be ignore

Method Detail

initialize

public void initialize()
                throws SailException

Specified by:

initialize in interface Sail

Overrides:

initialize in class org.eclipse.rdf4j.sail.helpers.SailWrapper

Throws:

SailException

getConnection

public SchemaCachingRDFSInferencerConnection getConnection()
                                                    throws SailException

Specified by:

getConnection in interface NotifyingSail

Specified by:

getConnection in interface Sail

Overrides:

getConnection in class org.eclipse.rdf4j.sail.helpers.NotifyingSailWrapper

Throws:

SailException

getValueFactory

public ValueFactory getValueFactory()

Specified by:

getValueFactory in interface Sail

Overrides:

getValueFactory in class org.eclipse.rdf4j.sail.helpers.SailWrapper

fastInstantiateFrom

public static SchemaCachingRDFSInferencer fastInstantiateFrom(SchemaCachingRDFSInferencer sailToInstantiateFrom,
                                                              NotifyingSail store)

Instantiate a new SchemaCachingRDFSInferencer from an existing one. Fast instantiation extracts the schema lookup tables generated by the existing sail and uses them to populate the lookup tables of a new reasoner. Schema triples can not be queried in the SchemaCachingRDFSInferencer returned by this method.

Parameters:

sailToInstantiateFrom - The SchemaCachingRDFSInferencer to extract the lookup tables from.

store - Base sail for storing data.

Returns:

fastInstantiateFrom

public static SchemaCachingRDFSInferencer fastInstantiateFrom(SchemaCachingRDFSInferencer sailToInstantiateFrom,
                                                              NotifyingSail store,
                                                              boolean useAllRdfsRules)

Instantiate a new SchemaCachingRDFSInferencer from an existing one. Fast instantiation extracts the schema lookup tables generated by the existing sail and uses them to populate the lookup tables of a new reasoner. Schema triples can not be queried in the SchemaCachingRDFSInferencer returned by this method.

Parameters:

sailToInstantiateFrom - The SchemaCachingRDFSInferencer to extract the lookup tables from.

store - Base sail for storing data.

useAllRdfsRules - Usel all RDFS rules. If set to false rule rdf4a and rdfs4b will be ignore

Returns:

getDefaultIsolationLevel

public IsolationLevel getDefaultIsolationLevel()

Specified by:

getDefaultIsolationLevel in interface Sail

Overrides:

getDefaultIsolationLevel in class org.eclipse.rdf4j.sail.helpers.SailWrapper

getSupportedIsolationLevels

public List<IsolationLevel> getSupportedIsolationLevels()

Specified by:

getSupportedIsolationLevels in interface Sail

Overrides:

getSupportedIsolationLevels in class org.eclipse.rdf4j.sail.helpers.SailWrapper