com.complexible.stardog.api.reasoning

Class EmbeddedReasoningConnection

java.lang.Object

com.complexible.stardog.api.impl.DelegatingConnection

com.complexible.stardog.api.reasoning.AbstractReasoningConnection

com.complexible.stardog.api.reasoning.EmbeddedReasoningConnection

All Implemented Interfaces:

Connection, ReasoningConnection, AutoCloseable

public final class EmbeddedReasoningConnection
extends AbstractReasoningConnection

Since:

5.0

Version:

6.0

Author:

Michael Grove

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	EmbeddedReasoningConnection.View

Constructor Summary

Constructors

Constructor and Description
EmbeddedReasoningConnection(KernelDatabaseConnection theConnection)

Method Summary

Modifier and Type	Method and Description
StardogExplainer	explain(Axiom theExpr) Returns a explainer that can be used to explain why the given expression is inferred.
Iterable<Statement>	exportSchema() Returns the contents of the currently selected schema.
protected KernelDatabaseConnection	getConnection()
boolean	isConsistent(Collection<IRI> theActiveGraphs) Checks the consistency of the specified named graphs with the current reasoning flag.

Methods inherited from class com.complexible.stardog.api.reasoning.AbstractReasoningConnection

explain, explainInconsistency, getClasses, getDataProperties, getObjectProperties, getSchemaManager, getUnsatisfiableClasses, isConsistent, isSatisfiable

Methods inherited from class com.complexible.stardog.api.impl.DelegatingConnection

add, admin, as, ask, ask, begin, close, commit, currentStatus, export, generateModel, get, getOption, getSchema, graph, graph, graphAliases, isOpen, isReasoningEnabled, name, namespaces, paths, paths, remove, rollback, select, select, selectPlan, selectPlan, size, transactions, update, update

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.complexible.stardog.api.Connection

add, admin, as, ask, ask, begin, close, commit, currentStatus, export, generateModel, get, getOption, getSchema, graph, graph, graphAliases, isOpen, isReasoningEnabled, name, namespaces, paths, paths, remove, rollback, select, select, selectPlan, selectPlan, size, transactions, update, update

Constructor Detail

EmbeddedReasoningConnection

public EmbeddedReasoningConnection(KernelDatabaseConnection theConnection)

Method Detail

getConnection

protected KernelDatabaseConnection getConnection()

Overrides:

getConnection in class com.complexible.stardog.api.impl.DelegatingConnection

isConsistent

public boolean isConsistent(Collection<IRI> theActiveGraphs)
                     throws StardogException

Checks the consistency of the specified named graphs with the current reasoning flag. The consistency results for arbitrary set of named graphs are not cached so this function will perform a new consistency check over at each invocation.

Returns:

true if the database is consistent, false otherwise

Throws:

StardogException

explain

public StardogExplainer explain(Axiom theExpr)

Returns a explainer that can be used to explain why the given expression is inferred.

Parameters:

theExpr - the expression to be explained

Returns:

An explainer for the inference.

exportSchema

public Iterable<Statement> exportSchema()
                                 throws StardogException

Returns the contents of the currently selected schema.

Returns:

the contents of the schema

Throws:

StardogException