org.mindswap.pellet
Class EmptySHNStrategy
java.lang.Object
org.mindswap.pellet.CompletionStrategy
org.mindswap.pellet.EmptySHNStrategy
public class EmptySHNStrategy
- extends CompletionStrategy
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
restore
public void restore(org.mindswap.pellet.Branch br)
- Overrides:
restore
in class CompletionStrategy
Copyright © 2007-2009 Natalya Keberle. All Rights Reserved.