Class ReasoningAPIUtils


  • public final class ReasoningAPIUtils
    extends java.lang.Object

    Since:
    2.0
    Version:
    6.0
    Author:
    Michael Grove, Hector Perez-Urbina
    • 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)