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