Package com.complexible.stardog.api.reasoning

# Class ReasoningAPIUtils

java.lang.Object
com.complexible.stardog.api.reasoning.ReasoningAPIUtils

public final class ReasoningAPIUtils extends Object

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

- ## Method Summary

  Modifier and Type
  Method
  Description
  `static String`
  `getAllClassesQuery(String theVarName)`
  `static String`
  `getAllDataPropertiesQuery(String theVarName)`
  `static String`
  `getAllObjectPropertiesQuery(String theVarName)`
  `static String`
  `getAllUnsatisfiableClassesQuery(String theVarName)`
  `static String`
  `getSatisfiabilityQuery(Axiom.ClassExpression theExpr)`
  `static String`
  `getSatisfiabilityQuery(IRI theClass)`
  `static Collection<IRI>`
  `toURICollection(SelectQuery theQuery, String theVarName)`

  ### Methods inherited from class java.lang.Object

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

- ## Method Details

  - ### getSatisfiabilityQuery

    public static String getSatisfiabilityQuery(IRI theClass)

  - ### getSatisfiabilityQuery

    public static String getSatisfiabilityQuery(Axiom.ClassExpression theExpr)

  - ### getAllClassesQuery

    public static String getAllClassesQuery(String theVarName)

  - ### getAllUnsatisfiableClassesQuery

    public static String getAllUnsatisfiableClassesQuery(String theVarName)

  - ### getAllObjectPropertiesQuery

    public static String getAllObjectPropertiesQuery(String theVarName)

  - ### getAllDataPropertiesQuery

    public static String getAllDataPropertiesQuery(String theVarName)

  - ### toURICollection

    public static Collection<IRI> toURICollection(SelectQuery theQuery, String theVarName) throws StardogException
    Throws:
      `StardogException`