org.semanticweb.HermiT.tableau
Class ReasoningTaskDescription
java.lang.Object
org.semanticweb.HermiT.tableau.ReasoningTaskDescription
public class ReasoningTaskDescription
- extends java.lang.Object
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 |
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
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)
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)