org.semanticweb.owlapi.reasoner
Enum InferenceType

java.lang.Object
  java.lang.Enum<InferenceType>
      org.semanticweb.owlapi.reasoner.InferenceType

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<InferenceType>

public enum InferenceType
extends java.lang.Enum<InferenceType>

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

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.

Enum Constant Summary

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

java.lang.String	toString()
static InferenceType	valueOf(java.lang.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're declared.

Methods inherited from class java.lang.Enum

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

Methods inherited from class java.lang.Object

finalize, 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 final InferenceType[] values()

Returns an array containing the constants of this enum type, in the order they're 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're declared

valueOf

public static InferenceType valueOf(java.lang.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:

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Enum<InferenceType>