InferenceType (OWLAPI :: Distribution 5.1.17 API)

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.

Since:

3.1.0

Author:

Matthew Horridge, The University of Manchester, Bio-Health Informatics Group

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

All Methods Static Methods Instance Methods Concrete 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
compareTo, equals, 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>

Enum InferenceType

Enum Constant Summary

Method Summary

Methods inherited from class java.lang.Enum

Methods inherited from class java.lang.Object

Enum Constant Detail

CLASS_HIERARCHY

OBJECT_PROPERTY_HIERARCHY

DATA_PROPERTY_HIERARCHY

CLASS_ASSERTIONS

OBJECT_PROPERTY_ASSERTIONS

DATA_PROPERTY_ASSERTIONS

SAME_INDIVIDUAL

DIFFERENT_INDIVIDUALS

DISJOINT_CLASSES

Method Detail

values

valueOf

toString