Package org.semanticweb.HermiT.existentials

Interface Summary

Interface	Description
ExistentialExpansionStrategy	Strategy objects are responsible for selecting which existentials should be expanded first, as well as how the new nodes are introduced.

Class Summary

Class	Description
AbstractExpansionStrategy	Implements the common bits of an ExistentialsExpansionStrategy, leaving only actual processing of existentials in need of expansion to subclasses.
CreationOrderStrategy	Strategy for expanding all existentials on the oldest node in the tableau with unexpanded existentials.
IndividualReuseStrategy	IndividualReuseStrategy.