public interface ReasoningConnection extends Connection
SNARL Connection which exposes reasoning specific functionality such as explanations and consistency checking.
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. |
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. |
Iterable<Statement> |
exportSchema()
Returns the contents of the currently
selected schema . |
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 |
isConsistent(Collection<IRI> theActiveGraphs)
Checks the consistency of the specified named graphs 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, getOption, getSchema, graph, graph, graphAliases, isOpen, isReasoningEnabled, name, namespaces, paths, paths, remove, rollback, select, select, selectPlan, selectPlan, size, transactions, update, update
boolean isConsistent() throws StardogException
isConsistent(ContextSets.LOCAL)
call.StardogException
boolean isConsistent(Collection<IRI> theActiveGraphs) throws StardogException
StardogException
boolean isSatisfiable(IRI theClass) throws StardogException
theClass
- the classStardogException
Collection<IRI> getClasses() throws StardogException
StardogException
Collection<IRI> getUnsatisfiableClasses() throws StardogException
StardogException
Collection<IRI> getObjectProperties() throws StardogException
StardogException
- if there was an error obtaining the propertiesCollection<IRI> getDataProperties() throws StardogException
StardogException
- if there was an error obtaining the propertiesStardogExplainer explain(Statement theStmt)
explainer
that can be used to explain why the given statement is inferred.theStmt
- the statement to be explainedStardogExplainer explain(Axiom theExpr)
explainer
that can be used to explain why the given expression is inferred.theExpr
- the expression to be explainedStardogExplainer explainInconsistency()
explainer
that can be used to explain why the given statement is inferred.Iterable<Statement> exportSchema() throws StardogException
selected schema
.StardogException
SchemaManager getSchemaManager()
Copyright © 2010-2016 Stardog Union. All Rights Reserved.