org.eclipse.rdf4j.sail.inferencer.fc

Class AbstractForwardChainingInferencerConnection

java.lang.Object

org.eclipse.rdf4j.sail.helpers.SailConnectionWrapper

org.eclipse.rdf4j.sail.helpers.NotifyingSailConnectionWrapper

org.eclipse.rdf4j.sail.inferencer.InferencerConnectionWrapper

org.eclipse.rdf4j.sail.inferencer.fc.AbstractForwardChainingInferencerConnection

All Implemented Interfaces:

AutoCloseable, FederatedServiceResolverClient, InferencerConnection, NotifyingSailConnection, SailConnection, SailConnectionListener

public abstract class AbstractForwardChainingInferencerConnection
extends InferencerConnectionWrapper
implements SailConnectionListener

Field Summary

Fields

Modifier and Type	Field and Description
protected org.slf4j.Logger	logger
protected int	totalInferred

Constructor Summary

Constructors

Constructor and Description
AbstractForwardChainingInferencerConnection(Sail sail, InferencerConnection con)

Method Summary

Modifier and Type	Method and Description
protected abstract void	addAxiomStatements() Adds all basic set of axiom statements from which the complete set can be inferred to the underlying Sail.
protected abstract int	applyRules(Model iteration) Returns the number of newly inferred statements.
void	begin()
void	begin(IsolationLevel level)
protected abstract Model	createModel()
protected void	doInferencing()
void	flushUpdates() Flushes any pending updates to be processed and the resulting changes to be reported to registered SailConnectionListeners.
protected boolean	hasNewStatements()
protected boolean	needsFullRecomputation() Indicates if a full recomputation of the deductive closure is needed.
protected Model	prepareIteration()
void	rollback()
void	statementAdded(Statement st)
void	statementRemoved(Statement st)

Methods inherited from class org.eclipse.rdf4j.sail.inferencer.InferencerConnectionWrapper

addInferredStatement, clearInferred, commit, evaluate, flush, getContextIDs, getStatements, getWrappedConnection, prepare, removeInferredStatement, size

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

addConnectionListener, removeConnectionListener

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

addStatement, addStatement, clear, clearNamespaces, close, endUpdate, getNamespace, getNamespaces, isActive, isOpen, pendingRemovals, removeNamespace, removeStatement, removeStatements, setFederatedServiceResolver, setNamespace, size, startUpdate

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

addConnectionListener, removeConnectionListener

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

addStatement, addStatement, addStatement, addStatement, clear, clearNamespaces, close, endUpdate, getNamespace, getNamespaces, getStatements, hasStatement, isActive, isOpen, pendingRemovals, removeNamespace, removeStatement, removeStatement, removeStatements, removeStatements, setNamespace, startUpdate

Field Detail

logger

protected final org.slf4j.Logger logger

totalInferred

protected int totalInferred

Constructor Detail

AbstractForwardChainingInferencerConnection

public AbstractForwardChainingInferencerConnection(Sail sail,
                                                   InferencerConnection con)

Method Detail

statementAdded

public void statementAdded(Statement st)

Specified by:

statementAdded in interface SailConnectionListener

createModel

protected abstract Model createModel()

statementRemoved

public void statementRemoved(Statement st)

Specified by:

statementRemoved in interface SailConnectionListener

flushUpdates

public void flushUpdates()
                  throws SailException

Description copied from interface: InferencerConnection

Flushes any pending updates to be processed and the resulting changes to be reported to registered SailConnectionListeners.

Specified by:

flushUpdates in interface InferencerConnection

Overrides:

flushUpdates in class InferencerConnectionWrapper

Throws:

SailException - If the updates could not be processed.

begin

public void begin()
           throws SailException

Specified by:

begin in interface SailConnection

Overrides:

begin in class org.eclipse.rdf4j.sail.helpers.SailConnectionWrapper

Throws:

SailException

begin

public void begin(IsolationLevel level)
           throws SailException

Specified by:

begin in interface SailConnection

Overrides:

begin in class org.eclipse.rdf4j.sail.helpers.SailConnectionWrapper

Throws:

SailException

rollback

public void rollback()
              throws SailException

Specified by:

rollback in interface SailConnection

Overrides:

rollback in class org.eclipse.rdf4j.sail.helpers.SailConnectionWrapper

Throws:

SailException

addAxiomStatements

protected abstract void addAxiomStatements()
                                    throws SailException

Adds all basic set of axiom statements from which the complete set can be inferred to the underlying Sail.

Throws:

SailException

doInferencing

protected void doInferencing()
                      throws SailException

Throws:

SailException

applyRules

protected abstract int applyRules(Model iteration)
                           throws SailException

Returns the number of newly inferred statements.

Throws:

SailException

prepareIteration

protected Model prepareIteration()

hasNewStatements

protected boolean hasNewStatements()

needsFullRecomputation

protected boolean needsFullRecomputation()

Indicates if a full recomputation of the deductive closure is needed.