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, ThreadSafetyAware, InferencerConnection, NotifyingSailConnection, SailConnection, SailConnectionListener

public abstract class AbstractForwardChainingInferencerConnection
extends InferencerConnectionWrapper
implements SailConnectionListener

Field Summary

Fields

Modifier and Type	Field	Description
protected int	totalInferred

Constructor Summary

Constructors

Constructor	Description
AbstractForwardChainingInferencerConnection(Sail sail, InferencerConnection con)

Method Summary

Modifier and Type	Method	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()	Begins a transaction requiring SailConnection.commit() or SailConnection.rollback() to be called to close the transaction.
void	begin(IsolationLevel level)	Begins a transaction with the specified IsolationLevel level, requiring SailConnection.commit() or SailConnection.rollback() to be called to close the transaction.
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()	Rolls back the transaction, discarding any uncommitted changes that have been made in this SailConnection.
void	statementAdded(Statement st)	Notifies the listener that a statement has been added in a transaction that it has registered itself with.
void	statementRemoved(Statement st)	Notifies the listener that a statement has been removed in a transaction that it has registered itself with.

Methods inherited from class InferencerConnectionWrapper

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

Modifier and Type	Method	Description
boolean	addInferredStatement(Resource subj, IRI pred, Value obj, Resource... contexts)	Adds an inferred statement to a specific context.
void	clearInferred(Resource... contexts)	Removes all inferred statements from the specified/all contexts.
void	commit()	Calls InferencerConnectionWrapper.flushUpdates() before forwarding the call to the wrapped connection.
CloseableIteration<? extends BindingSet>	evaluate(TupleExpr tupleExpr, Dataset dataset, BindingSet bindings, boolean includeInferred)	Calls InferencerConnectionWrapper.flushUpdates() before forwarding the call to the wrapped connection.
void	flush()	Flushes any pending updates and notify changes to listeners as appropriate.
CloseableIteration<? extends Resource>	getContextIDs()	Calls InferencerConnectionWrapper.flushUpdates() before forwarding the call to the wrapped connection.
CloseableIteration<? extends Statement>	getStatements(Resource subj, IRI pred, Value obj, boolean includeInferred, Resource... contexts)	Calls InferencerConnectionWrapper.flushUpdates() before forwarding the call to the wrapped connection.
InferencerConnection	getWrappedConnection()	Gets the connection that is wrapped by this object.
boolean	hasStatement(Resource subj, IRI pred, Value obj, boolean includeInferred, Resource... contexts)	Determines if the store contains any statements from the specified contexts that have a specific subject, predicate and/or object.
void	prepare()	Calls InferencerConnectionWrapper.flushUpdates() before forwarding the call to the wrapped connection.
boolean	removeInferredStatement(Resource subj, IRI pred, Value obj, Resource... contexts)	Removes an inferred statement from a specific context.
long	size(Resource... contexts)	Calls InferencerConnectionWrapper.flushUpdates() before forwarding the call to the wrapped connection.

Methods inherited from class NotifyingSailConnectionWrapper

addConnectionListener, removeConnectionListener

Modifier and Type	Method	Description
void	addConnectionListener(SailConnectionListener listener)	Adds the given listener to the wrapped connection.
void	removeConnectionListener(SailConnectionListener listener)	Removes the given listener from the wrapped connection.

Methods inherited from class SailConnectionWrapper

addStatement, addStatement, clear, clearNamespaces, close, endUpdate, explain, getComparator, getFederatedServiceResolver, getNamespace, getNamespaces, getStatements, getSupportedOrders, isActive, isOpen, prepareQuery, removeNamespace, removeStatement, removeStatements, setFederatedServiceResolver, setNamespace, setTransactionSettings, size, startUpdate, supportsConcurrentReads

Modifier and Type	Method	Description
void	addStatement(Resource subj, IRI pred, Value obj, Resource... contexts)	Adds a statement to the store.
void	addStatement(UpdateContext modify, Resource subj, IRI pred, Value obj, Resource... contexts)	Adds a statement to the store.
void	clear(Resource... contexts)	Removes all statements from the specified/all contexts.
void	clearNamespaces()	Removes all namespace declarations from the repository.
void	close()	Closes the connection.
void	endUpdate(UpdateContext modify)	Indicates that the given op will not be used in any call again.
Explanation	explain(Explanation.Level level, TupleExpr tupleExpr, Dataset dataset, BindingSet bindings, boolean includeInferred, int timeoutSeconds)	Explain how the TupleExpr will be (or has been) executed/evaluated by returning a TupleExpr (which may or may not be the provided TupleExpr) that has gone through zero or more of the stages prior to and also including execution as specified by the provided level.
Comparator<Value>	getComparator()	Different underlying datastructures may have different ways of ordering statements.
FederatedServiceResolver	getFederatedServiceResolver()	Gets the FederatedServiceResolver used by this client.
String	getNamespace(String prefix)	Gets the namespace that is associated with the specified prefix, if any.
CloseableIteration<? extends Namespace>	getNamespaces()	Gets the namespaces relevant to the data contained in this Sail object.
CloseableIteration<? extends Statement>	getStatements(StatementOrder statementOrder, Resource subj, IRI pred, Value obj, boolean includeInferred, Resource... contexts)	Gets all statements from the specified contexts that have a specific subject, predicate and/or object.
Set<StatementOrder>	getSupportedOrders(Resource subj, IRI pred, Value obj, Resource... contexts)	The underlying store may support some, but not all, statement orders based on the statement pattern.
boolean	isActive()	Indicates if a transaction is currently active on the connection.
boolean	isOpen()	Checks whether this SailConnection is open.
Optional<TupleExpr>	prepareQuery(QueryLanguage ql, Query.QueryType type, String query, String baseURI)	Allows the SailConnection to bypass the standard query parser and provide its own internal TupleExpr implementation.
void	removeNamespace(String prefix)	Removes a namespace declaration by removing the association between a prefix and a namespace name.
void	removeStatement(UpdateContext modify, Resource subj, IRI pred, Value obj, Resource... contexts)	Removes all statements matching the specified subject, predicate and object from the repository.
void	removeStatements(Resource subj, IRI pred, Value obj, Resource... contexts)	Removes all statements matching the specified subject, predicate and object from the repository.
void	setFederatedServiceResolver(FederatedServiceResolver resolver)	Sets the FederatedServiceResolver to use for this client.
void	setNamespace(String prefix, String name)	Sets the prefix for a namespace.
void	setTransactionSettings(TransactionSetting... settings)	Pass any transaction-specific settings to the SailConnection.
long	size(Resource context)
void	startUpdate(UpdateContext modify)	Signals the start of an update operation.
boolean	supportsConcurrentReads()	A class may support concurrent reads from multiple threads against the same object.

Methods inherited from class Object

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

Methods inherited from interface SailConnectionListener

statementAdded, statementRemoved

Modifier and Type	Method	Description
default void	statementAdded(Statement st, boolean inferred)	Notifies the listener that a statement has been added in a transaction that it has registered itself with.
default void	statementRemoved(Statement st, boolean inferred)	Notifies the listener that a statement has been removed in a transaction that it has registered itself with.

Field Details

totalInferred

protected int totalInferred

Constructor Details

AbstractForwardChainingInferencerConnection

public AbstractForwardChainingInferencerConnection(Sail sail,
 InferencerConnection con)

Method Details

statementAdded

public void statementAdded(Statement st)

Description copied from interface: SailConnectionListener

Notifies the listener that a statement has been added in a transaction that it has registered itself with.

Specified by:

statementAdded in interface SailConnectionListener

Parameters:

st - The statement that was added.

createModel

protected abstract Model createModel()

statementRemoved

public void statementRemoved(Statement st)

Description copied from interface: SailConnectionListener

Notifies the listener that a statement has been removed in a transaction that it has registered itself with.

Specified by:

statementRemoved in interface SailConnectionListener

Parameters:

st - The statement that was removed.

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

Description copied from interface: SailConnection

Begins a transaction requiring SailConnection.commit() or SailConnection.rollback() to be called to close the transaction. The transaction will use the default IsolationLevel level for the SAIL, as returned by Sail.getDefaultIsolationLevel().

Specified by:

begin in interface SailConnection

Overrides:

begin in class SailConnectionWrapper

Throws:

SailException - If the connection could not start a transaction or if a transaction is already active on this connection.

begin

public void begin(IsolationLevel level)
           throws SailException

Description copied from interface: SailConnection

Begins a transaction with the specified IsolationLevel level, requiring SailConnection.commit() or SailConnection.rollback() to be called to close the transaction.

Specified by:

begin in interface SailConnection

Overrides:

begin in class SailConnectionWrapper

Parameters:

level - the transaction isolation level on which this transaction operates.

Throws:

SailException - If the connection could not start a transaction, if the supplied transaction isolation level is not supported, or if a transaction is already active on this connection.

rollback

public void rollback()
              throws SailException

Description copied from interface: SailConnection

Rolls back the transaction, discarding any uncommitted changes that have been made in this SailConnection.

Specified by:

rollback in interface SailConnection

Overrides:

rollback in class SailConnectionWrapper

Throws:

SailException - If the SailConnection could not be rolled back.

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.