public abstract class AbstractReasoningConnection extends com.complexible.stardog.api.impl.DelegatingConnection implements ReasoningConnection
Constructor and Description |
---|
AbstractReasoningConnection(Connection theConnection) |
Modifier and Type | Method and Description |
---|---|
StardogExplainer |
explain(Statement theStmt)
Returns a
explainer that can be used to explain why the given statement is inferred. |
StardogExplainer |
explainInconsistency()
Returns a
explainer that can be used to explain why the given statement is inferred. |
Collection<IRI> |
getClasses()
Returns the collection of classes in the current KB.
|
Collection<IRI> |
getDataProperties()
Returns the collection of data properties in the current KB.
|
Collection<IRI> |
getObjectProperties()
Returns the collection of object properties in the current KB.
|
SchemaManager |
getSchemaManager()
Returns the schema manager for the database
|
Collection<IRI> |
getUnsatisfiableClasses()
Returns the collection of unsatisfiable classes in the current KB.
|
boolean |
isConsistent()
Checks the consistency of the database with the current reasoning flag.
|
boolean |
isSatisfiable(IRI theClass)
Checks whether the class is satisfiable with respect to the current KB and reasoning flag
|
add, admin, as, ask, ask, begin, close, commit, currentStatus, export, generateModel, get, getConnection, getOption, getSchema, graph, graph, graphAliases, isOpen, isReasoningEnabled, name, namespaces, paths, paths, remove, rollback, select, select, selectPlan, selectPlan, size, transactions, update, update
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
explain, exportSchema, isConsistent
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
public AbstractReasoningConnection(Connection theConnection)
public final StardogExplainer explain(Statement theStmt)
explainer
that can be used to explain why the given statement is inferred.explain
in interface ReasoningConnection
theStmt
- the statement to be explainedpublic final StardogExplainer explainInconsistency()
explainer
that can be used to explain why the given statement is inferred.explainInconsistency
in interface ReasoningConnection
public final boolean isSatisfiable(IRI theClass) throws StardogException
isSatisfiable
in interface ReasoningConnection
theClass
- the classStardogException
public final Collection<IRI> getClasses() throws StardogException
getClasses
in interface ReasoningConnection
StardogException
public final Collection<IRI> getUnsatisfiableClasses() throws StardogException
getUnsatisfiableClasses
in interface ReasoningConnection
StardogException
public final Collection<IRI> getObjectProperties() throws StardogException
getObjectProperties
in interface ReasoningConnection
StardogException
- if there was an error obtaining the propertiespublic final Collection<IRI> getDataProperties() throws StardogException
getDataProperties
in interface ReasoningConnection
StardogException
- if there was an error obtaining the propertiespublic final boolean isConsistent() throws StardogException
isConsistent(ContextSets.LOCAL)
call.isConsistent
in interface ReasoningConnection
StardogException
public SchemaManager getSchemaManager()
ReasoningConnection
getSchemaManager
in interface ReasoningConnection
Copyright © 2010-2016 Stardog Union. All Rights Reserved.