|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.mindswap.pellet.tableau.completion.CompletionStrategy
public abstract class CompletionStrategy
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.
Field Summary | |
---|---|
static java.util.logging.Logger |
log
|
Constructor Summary | |
---|---|
CompletionStrategy(ABox abox)
|
Method Summary | |
---|---|
void |
addBranch(Branch newBranch)
|
void |
addEdge(Individual subj,
Role pred,
Node obj,
DependencySet ds)
|
void |
addType(Node node,
aterm.ATermAppl c,
DependencySet ds)
|
void |
checkTimer()
|
abstract void |
complete(Expressivity expr)
apply all the tableau rules to the designated ABox |
Individual |
createFreshIndividual(Individual parent,
DependencySet ds)
|
ABox |
getABox()
|
Blocking |
getBlocking()
|
java.util.Iterator<Individual> |
getInitializeIterator()
Return individuals to which we need to apply the initialization rules |
TBox |
getTBox()
|
void |
initialize(Expressivity expressivity)
|
void |
mergeAll()
Merge all node pairs in the queue. |
void |
mergeTo(Node y,
Node z,
DependencySet ds)
Merge node y into z. |
void |
restore(Branch br)
|
void |
restoreLocal(Individual ind,
Branch br)
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static final java.util.logging.Logger log
Constructor Detail |
---|
public CompletionStrategy(ABox abox)
Method Detail |
---|
public ABox getABox()
public TBox getTBox()
public Blocking getBlocking()
public void checkTimer()
public java.util.Iterator<Individual> getInitializeIterator()
public void initialize(Expressivity expressivity)
public abstract void complete(Expressivity expr)
public Individual createFreshIndividual(Individual parent, DependencySet ds)
public void addType(Node node, aterm.ATermAppl c, DependencySet ds)
public void addEdge(Individual subj, Role pred, Node obj, DependencySet ds)
public void mergeAll()
public void mergeTo(Node y, Node z, DependencySet ds)
y
- Node being prunedz
- Node that is being merged intods
- Dependency of this merge operationpublic void restoreLocal(Individual ind, Branch br)
public void restore(Branch br)
public void addBranch(Branch newBranch)
public java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |