org.semanticweb.owlapi.reasoner

Enum InferenceType

java.lang.Object

java.lang.Enum<InferenceType>

org.semanticweb.owlapi.reasoner.InferenceType

All Implemented Interfaces:

Serializable, Comparable<InferenceType>

public enum InferenceType
extends Enum<InferenceType>

An enumeration that denotes various types of inference task. Each inference task has a name that is associated with it - reasoners may use these names when reporting progress.

Author:

Matthew Horridge, The University of Manchester, Bio-Health Informatics Group, Date: 04-Jul-2010

Enum Constant Summary

Enum Constants

Enum Constant and Description
CLASS_ASSERTIONS Denotes the computation of the direct types of individuals for each individual in the signature of the imports closure of the root ontology.
CLASS_HIERARCHY Denotes the computation of the class hierarchy.
DATA_PROPERTY_ASSERTIONS Denotes the computation of relationships between individuals and data property values for each individual in the signature of the imports closure of the root ontology.
DATA_PROPERTY_HIERARCHY Denotes the computation of the data property hierarchy.
DIFFERENT_INDIVIDUALS Denotes the computation of sets of individuals that are different from each individual in the signature of the imports closure of the root ontology.
DISJOINT_CLASSES Denotes the computation of sets of classes that are disjoint for each class in the signature of the imports closure of the root ontology.
OBJECT_PROPERTY_ASSERTIONS Denotes the computation of relationships between individuals in the signature of the imports closure of the root ontology.
OBJECT_PROPERTY_HIERARCHY Denotes the computation of the object property hierarchy.
SAME_INDIVIDUAL Denotes the computation of individuals that are interpreted as the same object for each individual in the imports closure of the root ontology.

Method Summary

Methods

Modifier and Type	Method and Description
String	toString()
static InferenceType	valueOf(String name) Returns the enum constant of this type with the specified name.
static InferenceType[]	values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum

clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

CLASS_HIERARCHY

public static final InferenceType CLASS_HIERARCHY

Denotes the computation of the class hierarchy.

OBJECT_PROPERTY_HIERARCHY

public static final InferenceType OBJECT_PROPERTY_HIERARCHY

Denotes the computation of the object property hierarchy.

DATA_PROPERTY_HIERARCHY

public static final InferenceType DATA_PROPERTY_HIERARCHY

Denotes the computation of the data property hierarchy.

CLASS_ASSERTIONS

public static final InferenceType CLASS_ASSERTIONS

Denotes the computation of the direct types of individuals for each individual in the signature of the imports closure of the root ontology.

OBJECT_PROPERTY_ASSERTIONS

public static final InferenceType OBJECT_PROPERTY_ASSERTIONS

Denotes the computation of relationships between individuals in the signature of the imports closure of the root ontology.

DATA_PROPERTY_ASSERTIONS

public static final InferenceType DATA_PROPERTY_ASSERTIONS

Denotes the computation of relationships between individuals and data property values for each individual in the signature of the imports closure of the root ontology.

SAME_INDIVIDUAL

public static final InferenceType SAME_INDIVIDUAL

Denotes the computation of individuals that are interpreted as the same object for each individual in the imports closure of the root ontology.

DIFFERENT_INDIVIDUALS

public static final InferenceType DIFFERENT_INDIVIDUALS

Denotes the computation of sets of individuals that are different from each individual in the signature of the imports closure of the root ontology.

DISJOINT_CLASSES

public static final InferenceType DISJOINT_CLASSES

Denotes the computation of sets of classes that are disjoint for each class in the signature of the imports closure of the root ontology.

Method Detail

values

public static InferenceType[] values()

Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:

for (InferenceType c : InferenceType.values())
    System.out.println(c);

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static InferenceType valueOf(String name)

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

IllegalArgumentException - if this enum type has no constant with the specified name

NullPointerException - if the argument is null

toString

public String toString()

Overrides:

toString in class Enum<InferenceType>