org.semanticweb.HermiT.tableau

Class ExistentialExpansionManager

java.lang.Object

org.semanticweb.HermiT.tableau.ExistentialExpansionManager

All Implemented Interfaces:

Serializable

public final class ExistentialExpansionManager
extends Object
implements Serializable

Manages the expansion of at least restrictions in a tableau.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ExistentialExpansionManager(Tableau tableau)

Method Summary

Modifier and Type	Method and Description
void	backtrack() Backtrack.
void	branchingPointPushed() Branching point pushed.
void	clear() Clear.
void	doNormalExpansion(AtLeastConcept atLeastConcept, Node forNode)
void	doNormalExpansion(AtLeastDataRange atLeastDataRange, Node forNode)
void	expand(AtLeast atLeast, Node forNode)
void	markExistentialProcessed(ExistentialConcept existentialConcept, Node forNode)
boolean	tryFunctionalExpansion(AtLeast atLeast, Node forNode) Creates a new node in the tableau if the at least concept that caused the expansion is for cardinality 1.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ExistentialExpansionManager

public ExistentialExpansionManager(Tableau tableau)

Parameters:

tableau - tableau

Method Detail

markExistentialProcessed

public void markExistentialProcessed(ExistentialConcept existentialConcept,
                                     Node forNode)

Parameters:

existentialConcept - existentialConcept

forNode - forNode

branchingPointPushed

public void branchingPointPushed()

Branching point pushed.

backtrack

public void backtrack()

Backtrack.

clear

public void clear()

Clear.

tryFunctionalExpansion

public boolean tryFunctionalExpansion(AtLeast atLeast,
                                      Node forNode)

Creates a new node in the tableau if the at least concept that caused the expansion is for cardinality 1. If it is not of cardinality 1 and the role in the at least concept is a functional role, it sets a clash in the extension manager.

Parameters:

atLeast - atLeast

forNode - forNode

Returns:

true if the at least cardinality is 1 (causes an expansion) or it is greater than one but the role is functional (causes a clash) and false otherwise.

doNormalExpansion

public void doNormalExpansion(AtLeastConcept atLeastConcept,
                              Node forNode)

Parameters:

atLeastConcept - atLeastConcept

forNode - forNode

doNormalExpansion

public void doNormalExpansion(AtLeastDataRange atLeastDataRange,
                              Node forNode)

Parameters:

atLeastDataRange - atLeastDataRange

forNode - forNode

expand

public void expand(AtLeast atLeast,
                   Node forNode)

Parameters:

atLeast - atLeast

forNode - forNode