SROIQIncStrategy (Openllet :: Core 2.6.5 API)

java.lang.Object
- openllet.core.tableau.completion.CompletionStrategy
- - openllet.core.tableau.completion.SROIQStrategy
  - - openllet.core.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 openllet.core.tableau.completion.CompletionStrategy
  _logger

Constructor Summary

Constructors
Constructor Description

SROIQIncStrategy(ABoxImpl abox)
Constructor

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`java.util.Iterator<Individual>`	`getInitializeIterator()`
`java.util.Iterator<Edge>`	`getNewEdgeIterator()`
`java.util.Iterator<Individual>`	`getNewIterator()`
`java.util.Iterator<Edge>`	`getRemovedEdgeIterator()`
`java.util.Iterator<java.util.Map.Entry<Node,java.util.Set<openllet.aterm.ATermAppl>>>`	`getRemovedTypeIterator()`
`java.util.Iterator<Node>`	`getUnPrunedIterator()`
`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 openllet.core.tableau.completion.SROIQStrategy
complete

Methods inherited from class openllet.core.tableau.completion.CompletionStrategy
addBranch, addEdge, addType, applyDomainRange, applyFunctionality, applyPropertyRestrictions, applyPropertyRestrictions, applyUniversalRestrictions, checkReflexivitySymmetry, checkTimer, createFreshIndividual, getABox, getBlocking, getTBox, mergeAll, mergeTo, printBlocked, restore, restoreLocal, setDifferent, toString

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - SROIQIncStrategy
```
public SROIQIncStrategy(ABoxImpl abox)
```
    Constructor
    
    Parameters:
    
    abox -
- Method Detail
  - getInitializeIterator
```
public java.util.Iterator<Individual> getInitializeIterator()
```
    Overrides:
    
    getInitializeIterator in class CompletionStrategy
    
    Returns:
    
    individuals to which we need to apply the initialization rules
  - getNewIterator
```
public java.util.Iterator<Individual> getNewIterator()
```
    Returns:
    
    individuals that were newly added
  - getNewEdgeIterator
```
public java.util.Iterator<Edge> getNewEdgeIterator()
```
    Returns:
    
    edges that were newly added
  - getUnPrunedIterator
```
public java.util.Iterator<Node> getUnPrunedIterator()
```
    Returns:
    
    the unpruned indivdiuals
  - getRemovedEdgeIterator
```
public java.util.Iterator<Edge> getRemovedEdgeIterator()
```
    Returns:
    
    edges that were newly added
  - getRemovedTypeIterator
```
public java.util.Iterator<java.util.Map.Entry<Node,java.util.Set<openllet.aterm.ATermAppl>>> getRemovedTypeIterator()
```
    Returns:
    
    types that were deleted
  - 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