|
||||||||||
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
org.mindswap.pellet.tableau.completion.SROIQIncStrategy
public class SROIQIncStrategy
The completion strategy for incremental consistency checking.
Field Summary |
---|
Fields inherited from class org.mindswap.pellet.tableau.completion.CompletionStrategy |
---|
log |
Constructor Summary | |
---|---|
SROIQIncStrategy(ABox abox)
Constructor |
Method Summary | |
---|---|
java.util.Iterator<Individual> |
getInitializeIterator()
Return individuals to which we need to apply the initialization rules |
java.util.Iterator<Edge> |
getNewEdgeIterator()
Return edges that were newly added |
java.util.Iterator<Individual> |
getNewIterator()
Return individuals that were newly added |
java.util.Iterator<Edge> |
getRemovedEdgeIterator()
Return edges that were newly added |
java.util.Iterator<java.util.Map.Entry<Node,java.util.Set<aterm.ATermAppl>>> |
getRemovedTypeIterator()
Return types that were deleted |
java.util.Iterator<Node> |
getUnPrunedIterator()
Return the unpruned indivdiuals |
void |
initialize(Expressivity expr)
There are additional rule that must be fired in the event of incremental additions and deletions in order to guarantee completeness. |
Methods inherited from class org.mindswap.pellet.tableau.completion.SROIQStrategy |
---|
complete |
Methods inherited from class org.mindswap.pellet.tableau.completion.CompletionStrategy |
---|
addBranch, addEdge, addType, checkTimer, createFreshIndividual, getABox, getBlocking, getTBox, mergeAll, mergeTo, restore, restoreLocal, toString |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public SROIQIncStrategy(ABox abox)
abox
- Method Detail |
---|
public java.util.Iterator<Individual> getInitializeIterator()
getInitializeIterator
in class CompletionStrategy
public java.util.Iterator<Individual> getNewIterator()
public java.util.Iterator<Edge> getNewEdgeIterator()
public java.util.Iterator<Node> getUnPrunedIterator()
public java.util.Iterator<Edge> getRemovedEdgeIterator()
public java.util.Iterator<java.util.Map.Entry<Node,java.util.Set<aterm.ATermAppl>>> getRemovedTypeIterator()
public void initialize(Expressivity expr)
initialize
in class CompletionStrategy
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |