Package com.complexible.stardog.api.reasoning

Interface ReasoningConnection

All Superinterfaces:
AutoCloseable, Connection
All Known Implementing Classes:
AbstractReasoningConnection
public interface ReasoningConnection extends Connection

SNARL Connection which exposes reasoning specific functionality such as explanations and consistency checking.

Since:
0.7.3
Version:
6.0
Author:
Michael Grove, Hector Perez-Urbina

  • Method Details

    • isConsistent

      boolean isConsistent() throws StardogException
      Checks the consistency of the database with the current reasoning flag. If the consistency check has been performed before and the database has not changed this function will return the previously computed result immediately. Besides this caching functionality, this function always returns the same result as the isConsistent(ContextSets.LOCAL) call.
      Returns:
      true if the database is consistent, false otherwise
      Throws:
      StardogException

    • isConsistent

      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

    • isSatisfiable

      boolean isSatisfiable(IRI theClass) throws StardogException
      Checks whether the class is satisfiable with respect to the current KB and reasoning flag
      Parameters:
      theClass - the class
      Returns:
      true if the class is satisfiable, false otherwise
      Throws:
      StardogException

    • getClasses

      Collection<IRI> getClasses() throws StardogException
      Returns the collection of classes in the current KB.
      Throws:
      StardogException

    • getUnsatisfiableClasses

      Collection<IRI> getUnsatisfiableClasses() throws StardogException
      Returns the collection of unsatisfiable classes in the current KB.
      Throws:
      StardogException

    • getObjectProperties

      Collection<IRI> getObjectProperties() throws StardogException
      Returns the collection of object properties in the current KB.
      Returns:
      the object properties
      Throws:
      StardogException - if there was an error obtaining the properties

    • getDataProperties

      Collection<IRI> getDataProperties() throws StardogException
      Returns the collection of data properties in the current KB.
      Returns:
      the data properties
      Throws:
      StardogException - if there was an error obtaining the properties

    • explain

      StardogExplainer explain(Statement theStmt)
      Returns a explainer that can be used to explain why the given statement is inferred.
      Parameters:
      theStmt - the statement to be explained
      Returns:
      An explainer for the inference.

    • explain

      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.

    • explainInconsistency

      StardogExplainer explainInconsistency()
      Returns a explainer that can be used to explain why the given statement is inferred.
      Returns:
      An explainer for inconsistency.

    • exportSchema

      Iterable<Statement> exportSchema() throws StardogException
      Returns the contents of the currently selected schema.
      Returns:
      the contents of the schema
      Throws:
      StardogException

    • getSchemaManager

      SchemaManager getSchemaManager()
      Returns the schema manager for the database
      Returns:
      the schema manager for the database