org.semanticweb.HermiT.tableau

Class ReasoningTaskDescription

java.lang.Object

org.semanticweb.HermiT.tableau.ReasoningTaskDescription

public class ReasoningTaskDescription
extends Object

Reasoning task description.

Constructor Summary

Constructors

Constructor and Description
ReasoningTaskDescription(boolean flipSatisfiabilityResult, org.semanticweb.HermiT.tableau.ReasoningTaskDescription.StandardTestType testType, Object... arguments)
ReasoningTaskDescription(boolean flipSatisfiabilityResult, String message, Object... arguments)

Method Summary

Modifier and Type	Method and Description
boolean	flipSatisfiabilityResult()
String	getMessagePattern()
String	getTaskDescription(Prefixes prefixes)
static ReasoningTaskDescription	isABoxSatisfiable()
static ReasoningTaskDescription	isAxiomEntailed(Object axiom)
static ReasoningTaskDescription	isConceptSatisfiable(Object atomicConcept)
static ReasoningTaskDescription	isConceptSubsumedBy(Object atomicSubconcept, Object atomicSuperconcept)
static ReasoningTaskDescription	isConceptSubsumedByList(Object atomicSubconcept, Object... atomicSuperconcepts)
static ReasoningTaskDescription	isDataRoleInstanceOf(Object atomicRole, Object individual1, Object individual2)
static ReasoningTaskDescription	isDomainOf(Object domain, Object role)
static ReasoningTaskDescription	isInstanceOf(Object atomicConcept, Object individual)
static ReasoningTaskDescription	isObjectRoleInstanceOf(Object atomicRole, Object individual1, Object individual2)
static ReasoningTaskDescription	isRangeOf(Object range, Object role)
static ReasoningTaskDescription	isRoleSatisfiable(Object role, boolean isObjectRole)
static ReasoningTaskDescription	isRoleSubsumedBy(Object subrole, Object superrole, boolean isObjectRole)
static ReasoningTaskDescription	isRoleSubsumedByList(Object subrole, Object... superroles)
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ReasoningTaskDescription

public ReasoningTaskDescription(boolean flipSatisfiabilityResult,
                                org.semanticweb.HermiT.tableau.ReasoningTaskDescription.StandardTestType testType,
                                Object... arguments)

Parameters:

flipSatisfiabilityResult - flipSatisfiabilityResult

testType - testType

arguments - arguments

ReasoningTaskDescription

public ReasoningTaskDescription(boolean flipSatisfiabilityResult,
                                String message,
                                Object... arguments)

Parameters:

flipSatisfiabilityResult - flipSatisfiabilityResult

message - message

arguments - arguments

Method Detail

flipSatisfiabilityResult

public boolean flipSatisfiabilityResult()

Returns:

sat result

getTaskDescription

public String getTaskDescription(Prefixes prefixes)

Parameters:

prefixes - prefixes

Returns:

task description

getMessagePattern

public String getMessagePattern()

Returns:

message pattern

toString

public String toString()

Overrides:

toString in class Object

isABoxSatisfiable

public static ReasoningTaskDescription isABoxSatisfiable()

Returns:

task description

isConceptSatisfiable

public static ReasoningTaskDescription isConceptSatisfiable(Object atomicConcept)

Parameters:

atomicConcept - atomicConcept

Returns:

task description

isConceptSubsumedBy

public static ReasoningTaskDescription isConceptSubsumedBy(Object atomicSubconcept,
                                                           Object atomicSuperconcept)

Parameters:

atomicSubconcept - atomicSubconcept

atomicSuperconcept - atomicSuperconcept

Returns:

task description

isConceptSubsumedByList

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

Parameters:

atomicSubconcept - atomicSubconcept

atomicSuperconcepts - atomicSuperconcepts

Returns:

task description

isRoleSubsumedByList

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

Parameters:

subrole - subrole

superroles - superroles

Returns:

task description

isRoleSatisfiable

public static ReasoningTaskDescription isRoleSatisfiable(Object role,
                                                         boolean isObjectRole)

Parameters:

role - role

isObjectRole - isObjectRole

Returns:

task description

isRoleSubsumedBy

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

Parameters:

subrole - subrole

superrole - superrole

isObjectRole - isObjectRole

Returns:

task description

isInstanceOf

public static ReasoningTaskDescription isInstanceOf(Object atomicConcept,
                                                    Object individual)

Parameters:

atomicConcept - atomicConcept

individual - individual

Returns:

task description

isObjectRoleInstanceOf

public static ReasoningTaskDescription isObjectRoleInstanceOf(Object atomicRole,
                                                              Object individual1,
                                                              Object individual2)

isDataRoleInstanceOf

public static ReasoningTaskDescription isDataRoleInstanceOf(Object atomicRole,
                                                            Object individual1,
                                                            Object individual2)

isAxiomEntailed

public static ReasoningTaskDescription isAxiomEntailed(Object axiom)

Parameters:

axiom - axiom

Returns:

task description

isDomainOf

public static ReasoningTaskDescription isDomainOf(Object domain,
                                                  Object role)

Parameters:

domain - domain

role - role

Returns:

task description

isRangeOf

public static ReasoningTaskDescription isRangeOf(Object range,
                                                 Object role)

Parameters:

range - range

role - role

Returns:

task description