Class ReasoningAPIUtils
java.lang.Object
com.complexible.stardog.api.reasoning.ReasoningAPIUtils
- Since:
- 2.0
- Version:
- 6.0
- Author:
- Michael Grove, Hector Perez-Urbina
-
Method Summary
Modifier and TypeMethodDescriptionstatic StringgetAllClassesQuery(String theVarName) static StringgetAllDataPropertiesQuery(String theVarName) static StringgetAllObjectPropertiesQuery(String theVarName) static StringgetAllUnsatisfiableClassesQuery(String theVarName) static Stringstatic StringgetSatisfiabilityQuery(IRI theClass) static Collection<IRI> toURICollection(SelectQuery theQuery, String theVarName)
-
Method Details
-
getSatisfiabilityQuery
-
getSatisfiabilityQuery
-
getAllClassesQuery
-
getAllUnsatisfiableClassesQuery
-
getAllObjectPropertiesQuery
-
getAllDataPropertiesQuery
-
toURICollection
public static Collection<IRI> toURICollection(SelectQuery theQuery, String theVarName) throws StardogException - Throws:
StardogException
-