org.mindswap.pellet.tableau.completion
Class EmptySHNStrategy
java.lang.Object
org.mindswap.pellet.tableau.completion.CompletionStrategy
org.mindswap.pellet.tableau.completion.SROIQStrategy
org.mindswap.pellet.tableau.completion.SHOIQStrategy
org.mindswap.pellet.tableau.completion.EmptySHNStrategy
public class EmptySHNStrategy
- extends SHOIQStrategy
Completion strategy for a SHN KB that does not have individuals in the ABox.
When ABox is empty completion always starts with a single root individual
that represents the concept whose satisfiability is being searched. Since
there are no inverse roles in SHN completion starts with root node and moves
towards the leaves. Once a node's satisfiability has been established there
is no need to reevaluate that value.
- Author:
- Evren Sirin
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
NONE
public static final int NONE
- See Also:
- Constant Field Values
HIT
public static final int HIT
- See Also:
- Constant Field Values
MISS
public static final int MISS
- See Also:
- Constant Field Values
FAIL
public static final int FAIL
- See Also:
- Constant Field Values
ADD
public static final int ADD
- See Also:
- Constant Field Values
ALL
public static final int ALL
- See Also:
- Constant Field Values
SHOW_CACHE_INFO
public static int SHOW_CACHE_INFO
EmptySHNStrategy
public EmptySHNStrategy(ABox abox)
initialize
public void initialize()
- Overrides:
initialize in class CompletionStrategy
complete
public void complete(Expressivity expr)
- Description copied from class:
CompletionStrategy
- apply all the tableau rules to the designated ABox
- Overrides:
complete in class SROIQStrategy
restoreLocal
public void restoreLocal(Individual ind,
Branch br)
- Overrides:
restoreLocal in class CompletionStrategy
restore
public void restore(Branch br)
- Overrides:
restore in class CompletionStrategy
Copyright © 2004 Evren Sirin. All Rights Reserved.