org.mindswap.pellet.tableau.completion
Class SROIQIncStrategy

java.lang.Object
  extended by org.mindswap.pellet.tableau.completion.CompletionStrategy
      extended by org.mindswap.pellet.tableau.completion.SROIQStrategy
          extended by org.mindswap.pellet.tableau.completion.SROIQIncStrategy

public class SROIQIncStrategy
extends SROIQStrategy

The completion strategy for incremental consistency checking.

Author:
Christian Halaschek-Wiener

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

SROIQIncStrategy

public SROIQIncStrategy(ABox abox)
Constructor

Parameters:
abox -
Method Detail

getInitializeIterator

public java.util.Iterator<Individual> getInitializeIterator()
Return individuals to which we need to apply the initialization rules

Overrides:
getInitializeIterator in class CompletionStrategy
Returns:

getNewIterator

public java.util.Iterator<Individual> getNewIterator()
Return individuals that were newly added

Returns:

getNewEdgeIterator

public java.util.Iterator<Edge> getNewEdgeIterator()
Return edges that were newly added

Returns:

getUnPrunedIterator

public java.util.Iterator<Node> getUnPrunedIterator()
Return the unpruned indivdiuals

Returns:

getRemovedEdgeIterator

public java.util.Iterator<Edge> getRemovedEdgeIterator()
Return edges that were newly added

Returns:

getRemovedTypeIterator

public java.util.Iterator<java.util.Map.Entry<Node,java.util.Set<aterm.ATermAppl>>> getRemovedTypeIterator()
Return types that were deleted

Returns:

initialize

public 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. These are done here.

Overrides:
initialize in class CompletionStrategy


Copyright © 2004 Evren Sirin. All Rights Reserved.