org.semanticweb.HermiT

Enum Configuration.BlockingStrategyType

java.lang.Object

java.lang.Enum<Configuration.BlockingStrategyType>

org.semanticweb.HermiT.Configuration.BlockingStrategyType

All Implemented Interfaces:

Serializable, Comparable<Configuration.BlockingStrategyType>

Enclosing class:

Configuration

public static enum Configuration.BlockingStrategyType
extends Enum<Configuration.BlockingStrategyType>

The blocking strategy determines how which nodes HermiT considers for blockers.

Enum Constant Summary

Enum Constants

Enum Constant and Description
ANCESTOR Forces HermiT to use ancestor blocking.
ANYWHERE Forces HermiT to use anywhere blocking.
COMPLEX_CORE An approximate blocking strategy and HermiT validates whether the block is ok before terminating.
OPTIMAL If the ontology contains nominals HermiT uses SIMPLE_CORE otherwise ANYWHERE.
SIMPLE_CORE An approximate blocking strategy and HermiT validates whether the block is ok before terminating.

Method Summary

Modifier and Type	Method and Description
static Configuration.BlockingStrategyType	valueOf(String name) Returns the enum constant of this type with the specified name.
static Configuration.BlockingStrategyType[]	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, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

ANYWHERE

public static final Configuration.BlockingStrategyType ANYWHERE

Forces HermiT to use anywhere blocking. Anywhere blocking usually creates smaller models than ancestor blocking. It might be slower, but seems to work better in average cases.

ANCESTOR

public static final Configuration.BlockingStrategyType ANCESTOR

Forces HermiT to use ancestor blocking. Generates usually the biggest model, but can be faster in some cases than the other strategies.

COMPLEX_CORE

public static final Configuration.BlockingStrategyType COMPLEX_CORE

An approximate blocking strategy and HermiT validates whether the block is ok before terminating. Concepts that were added nondeterministically and concepts that are propagated from the parent node are considered for blocking. Produces smaller models (less memory) than ANYWHERE and ANCESTOR, but can be slower in particular since caching cannot be used with this blocking strategy. Caching is normally used if the ontology does not contain nominals.

SIMPLE_CORE

public static final Configuration.BlockingStrategyType SIMPLE_CORE

An approximate blocking strategy and HermiT validates whether the block is ok before terminating. Only concepts that where added when the node was created are considered for blocking (e.g., for ClassAssertion(ObjectSomeValuesFrom(r C) a) an r-successor say b is created with C in the label of b and C counts for blocking; any concept added later to the label is not considered for blocking. ) This can generate very small models, but might increase the time required in particular for classification of ontologies without nominals since caching cannot yet be used with this strategy. This is the default for ontologies with nominals where caching cannot be used anyway.

OPTIMAL

public static final Configuration.BlockingStrategyType OPTIMAL

If the ontology contains nominals HermiT uses SIMPLE_CORE otherwise ANYWHERE.

Method Detail

values

public static Configuration.BlockingStrategyType[] 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 (Configuration.BlockingStrategyType c : Configuration.BlockingStrategyType.values())
    System.out.println(c);

Returns:

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

valueOf

public static Configuration.BlockingStrategyType 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