|
||||||||||
| 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()
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 |
|---|
addEdge, addType, createFreshIndividual, 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 CompletionStrategypublic 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()
initialize in class CompletionStrategy
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||