public final class ReasoningAPIUtils extends Object
Modifier and Type | Method and 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) |
public static String getSatisfiabilityQuery(Axiom.ClassExpression theExpr)
public static String getAllUnsatisfiableClassesQuery(String theVarName)
public static Collection<IRI> toURICollection(SelectQuery theQuery, String theVarName) throws StardogException
StardogException
Copyright © 2010-2016 Stardog Union. All Rights Reserved.