Package com.complexible.stardog.api.reasoning

Class ReasoningAPIUtils

java.lang.Object

com.complexible.stardog.api.reasoning.ReasoningAPIUtils

public final class ReasoningAPIUtils
extends java.lang.Object

Since:

2.0

Version:

6.0

Author:

Michael Grove, Hector Perez-Urbina

Method Summary

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

Methods inherited from class java.lang.Object

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

Method Detail

getSatisfiabilityQuery

public static java.lang.String getSatisfiabilityQuery(IRI theClass)

getSatisfiabilityQuery

public static java.lang.String getSatisfiabilityQuery(Axiom.ClassExpression theExpr)

getAllClassesQuery

public static java.lang.String getAllClassesQuery(java.lang.String theVarName)

getAllUnsatisfiableClassesQuery

public static java.lang.String getAllUnsatisfiableClassesQuery(java.lang.String theVarName)

getAllObjectPropertiesQuery

public static java.lang.String getAllObjectPropertiesQuery(java.lang.String theVarName)

getAllDataPropertiesQuery

public static java.lang.String getAllDataPropertiesQuery(java.lang.String theVarName)

toURICollection

public static java.util.Collection<IRI> toURICollection(SelectQuery theQuery,
                                                        java.lang.String theVarName)
                                                 throws StardogException

Throws:

StardogException