org.semanticweb.HermiT.tableau
Class ReasoningTaskDescription

java.lang.Object
  extended by org.semanticweb.HermiT.tableau.ReasoningTaskDescription

public class ReasoningTaskDescription
extends java.lang.Object


Nested Class Summary
static class ReasoningTaskDescription.StandardTestType
           
 
Field Summary
protected  java.lang.Object[] m_arguments
           
protected  boolean m_flipSatisfiabilityResult
           
protected  java.lang.String m_messagePattern
           
 
Constructor Summary
ReasoningTaskDescription(boolean flipSatisfiabilityResult, ReasoningTaskDescription.StandardTestType testType, java.lang.Object... arguments)
           
ReasoningTaskDescription(boolean flipSatisfiabilityResult, java.lang.String message, java.lang.Object... arguments)
           
 
Method Summary
 boolean flipSatisfiabilityResult()
           
 java.lang.String getMessagePattern()
           
 java.lang.String getTaskDescription(Prefixes prefixes)
           
static ReasoningTaskDescription isABoxSatisfiable()
           
static ReasoningTaskDescription isAxiomEntailed(java.lang.Object axiom)
           
static ReasoningTaskDescription isConceptSatisfiable(java.lang.Object atomicConcept)
           
static ReasoningTaskDescription isConceptSubsumedBy(java.lang.Object atomicSubconcept, java.lang.Object atomicSuperconcept)
           
static ReasoningTaskDescription isConceptSubsumedByList(java.lang.Object atomicSubconcept, java.lang.Object... atomicSuperconcepts)
           
static ReasoningTaskDescription isDataRoleInstanceOf(java.lang.Object atomicRole, java.lang.Object individual1, java.lang.Object individual2)
           
static ReasoningTaskDescription isDomainOf(java.lang.Object domain, java.lang.Object role)
           
static ReasoningTaskDescription isInstanceOf(java.lang.Object atomicConcept, java.lang.Object individual)
           
static ReasoningTaskDescription isObjectRoleInstanceOf(java.lang.Object atomicRole, java.lang.Object individual1, java.lang.Object individual2)
           
static ReasoningTaskDescription isRangeOf(java.lang.Object range, java.lang.Object role)
           
static ReasoningTaskDescription isRoleSatisfiable(java.lang.Object role, boolean isObjectRole)
           
static ReasoningTaskDescription isRoleSubsumedBy(java.lang.Object subrole, java.lang.Object superrole, boolean isObjectRole)
           
static ReasoningTaskDescription isRoleSubsumedByList(java.lang.Object subrole, java.lang.Object... superroles)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_flipSatisfiabilityResult

protected final boolean m_flipSatisfiabilityResult

m_messagePattern

protected final java.lang.String m_messagePattern

m_arguments

protected final java.lang.Object[] m_arguments
Constructor Detail

ReasoningTaskDescription

public ReasoningTaskDescription(boolean flipSatisfiabilityResult,
                                ReasoningTaskDescription.StandardTestType testType,
                                java.lang.Object... arguments)

ReasoningTaskDescription

public ReasoningTaskDescription(boolean flipSatisfiabilityResult,
                                java.lang.String message,
                                java.lang.Object... arguments)
Method Detail

flipSatisfiabilityResult

public boolean flipSatisfiabilityResult()

getTaskDescription

public java.lang.String getTaskDescription(Prefixes prefixes)

getMessagePattern

public java.lang.String getMessagePattern()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

isABoxSatisfiable

public static ReasoningTaskDescription isABoxSatisfiable()

isConceptSatisfiable

public static ReasoningTaskDescription isConceptSatisfiable(java.lang.Object atomicConcept)

isConceptSubsumedBy

public static ReasoningTaskDescription isConceptSubsumedBy(java.lang.Object atomicSubconcept,
                                                           java.lang.Object atomicSuperconcept)

isConceptSubsumedByList

public static ReasoningTaskDescription isConceptSubsumedByList(java.lang.Object atomicSubconcept,
                                                               java.lang.Object... atomicSuperconcepts)

isRoleSubsumedByList

public static ReasoningTaskDescription isRoleSubsumedByList(java.lang.Object subrole,
                                                            java.lang.Object... superroles)

isRoleSatisfiable

public static ReasoningTaskDescription isRoleSatisfiable(java.lang.Object role,
                                                         boolean isObjectRole)

isRoleSubsumedBy

public static ReasoningTaskDescription isRoleSubsumedBy(java.lang.Object subrole,
                                                        java.lang.Object superrole,
                                                        boolean isObjectRole)

isInstanceOf

public static ReasoningTaskDescription isInstanceOf(java.lang.Object atomicConcept,
                                                    java.lang.Object individual)

isObjectRoleInstanceOf

public static ReasoningTaskDescription isObjectRoleInstanceOf(java.lang.Object atomicRole,
                                                              java.lang.Object individual1,
                                                              java.lang.Object individual2)

isDataRoleInstanceOf

public static ReasoningTaskDescription isDataRoleInstanceOf(java.lang.Object atomicRole,
                                                            java.lang.Object individual1,
                                                            java.lang.Object individual2)

isAxiomEntailed

public static ReasoningTaskDescription isAxiomEntailed(java.lang.Object axiom)

isDomainOf

public static ReasoningTaskDescription isDomainOf(java.lang.Object domain,
                                                  java.lang.Object role)

isRangeOf

public static ReasoningTaskDescription isRangeOf(java.lang.Object range,
                                                 java.lang.Object role)