|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.mindswap.pellet.tableau.completion.CompletionStrategy
org.mindswap.pellet.tableau.completion.SROIQStrategy
com.clarkparsia.pellet.rules.RuleStrategy
public class RuleStrategy
Field Summary |
---|
Fields inherited from class org.mindswap.pellet.tableau.completion.CompletionStrategy |
---|
log |
Constructor Summary | |
---|---|
RuleStrategy(ABox abox)
|
Method Summary | |
---|---|
void |
applyRULERule()
|
void |
complete(Expressivity expr)
apply all the tableau rules to the designated ABox |
void |
restoreLocal(Individual ind,
Branch br)
|
Methods inherited from class org.mindswap.pellet.tableau.completion.CompletionStrategy |
---|
addBranch, addEdge, addType, checkTimer, createFreshIndividual, getABox, getBlocking, getInitializeIterator, getTBox, initialize, mergeAll, mergeTo, restore, toString |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public RuleStrategy(ABox abox)
Method Detail |
---|
public void applyRULERule()
public void complete(Expressivity expr)
CompletionStrategy
complete
in class SROIQStrategy
public void restoreLocal(Individual ind, Branch br)
restoreLocal
in class CompletionStrategy
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |