org.mindswap.pellet.tableau.completion
Class CompletionStrategy
java.lang.Object
org.mindswap.pellet.tableau.completion.CompletionStrategy
- Direct Known Subclasses:
- SROIQStrategy
public abstract class CompletionStrategy
- extends java.lang.Object
A completion strategy specifies how the tableau rules will be applied to an ABox. Depending on
the expressivity of the KB, e.g. SHIN, SHON, etc., different (more efficient) strategies may be
used. This class is the base for all different implementations and contains strategy independent
functions.
- Author:
- Evren Sirin
|
Field Summary |
static java.util.logging.Logger |
log
|
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
log
public static final java.util.logging.Logger log
CompletionStrategy
public CompletionStrategy(ABox abox,
Blocking blocking)
getInitializeIterator
public java.util.Iterator<Individual> getInitializeIterator()
- Return individuals to which we need to apply the initialization rules
- Returns:
initialize
public void initialize()
complete
public abstract void complete(Expressivity expr)
- apply all the tableau rules to the designated ABox
createFreshIndividual
public Individual createFreshIndividual(Individual parent,
DependencySet ds)
addType
public void addType(Node node,
aterm.ATermAppl c,
DependencySet ds)
addEdge
public void addEdge(Individual subj,
Role pred,
Node obj,
DependencySet ds)
mergeTo
public void mergeTo(Node y,
Node z,
DependencySet ds)
- Merge node y into z. Node y and all its descendants will be pruned from the completion graph.
- Parameters:
y - Node being prunedz - Node that is being merged intods - Dependency of this merge operation
restoreLocal
public void restoreLocal(Individual ind,
Branch br)
restore
public void restore(Branch br)
toString
public java.lang.String toString()
- Overrides:
toString in class java.lang.Object
Copyright © 2004 Evren Sirin. All Rights Reserved.