org.semanticweb.HermiT
Enum Configuration.BlockingStrategyType

java.lang.Object
  extended by java.lang.Enum<Configuration.BlockingStrategyType>
      extended by org.semanticweb.HermiT.Configuration.BlockingStrategyType
All Implemented Interfaces:
java.io.Serializable, java.lang.Comparable<Configuration.BlockingStrategyType>
Enclosing class:
Configuration

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

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


Enum Constant Summary
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
static Configuration.BlockingStrategyType valueOf(java.lang.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
clone, compareTo, equals, finalize, 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(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
java.lang.NullPointerException - if the argument is null