org.mindswap.pellet.tableau.completion

Class SROIQIncStrategy

java.lang.Object

org.mindswap.pellet.tableau.completion.CompletionStrategy

org.mindswap.pellet.tableau.completion.SROIQStrategy

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

abox, allValuesRule, blocking, chooseRule, completionTimer, dataCardRule, dataSatRule, disjunctionRule, guessRule, log, maxRule, mergeList, minRule, nominalRule, selfRule, someValuesRule, tableauRules, tbox, timers, unfoldingRule

Constructor Summary

Constructors

Constructor and Description
SROIQIncStrategy(ABox abox) Constructor

Method Summary

Modifier and Type	Method and Description
protected EdgeList	findAllValues(Node node, Individual neighbor, Set<aterm.ATermAppl> removedTypes, Edge edge) Method to find the edges which an all values could be applied to
protected EdgeList	findAllValues(Node node, Set<aterm.ATermAppl> removedTypes) Find applicable all values for a removed type during a restore
Iterator<Individual>	getInitializeIterator() Return individuals to which we need to apply the initialization rules
Iterator<Edge>	getNewEdgeIterator() Return edges that were newly added
Iterator<Individual>	getNewIterator() Return individuals that were newly added
Iterator<Edge>	getRemovedEdgeIterator() Return edges that were newly added
Iterator<Map.Entry<Node,Set<aterm.ATermAppl>>>	getRemovedTypeIterator() Return types that were deleted
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.
protected void	readdConjunctions(Individual ind) Readd conjunction labels
protected boolean	requiredAddType(Node node, aterm.ATermAppl type) Test if a type should be readded to a node
protected void	restoreAllValues()

Methods inherited from class org.mindswap.pellet.tableau.completion.SROIQStrategy

backtrack, complete

Methods inherited from class org.mindswap.pellet.tableau.completion.CompletionStrategy

addAllRules, addBranch, addEdge, addType, applyFunctionalMaxRule, checkTimer, configureTableauRules, createFreshIndividual, getABox, getBlocking, getTBox, implicitNominals, mergeAll, mergeIndividuals, mergeLiterals, mergeTo, restore, restoreLocal, setDifferent, toString, updateQueueAddEdge

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

SROIQIncStrategy

public SROIQIncStrategy(ABox abox)

Constructor

Parameters:

abox -

Method Detail

getInitializeIterator

public Iterator<Individual> getInitializeIterator()

Return individuals to which we need to apply the initialization rules

Overrides:

getInitializeIterator in class CompletionStrategy

Returns:

getNewIterator

public Iterator<Individual> getNewIterator()

Return individuals that were newly added

Returns:

getNewEdgeIterator

public Iterator<Edge> getNewEdgeIterator()

Return edges that were newly added

Returns:

getUnPrunedIterator

public Iterator<Node> getUnPrunedIterator()

Return the unpruned indivdiuals

Returns:

getRemovedEdgeIterator

public Iterator<Edge> getRemovedEdgeIterator()

Return edges that were newly added

Returns:

getRemovedTypeIterator

public Iterator<Map.Entry<Node,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

readdConjunctions

protected void readdConjunctions(Individual ind)

Readd conjunction labels

Parameters:

ind -

requiredAddType

protected boolean requiredAddType(Node node,
                                  aterm.ATermAppl type)

Test if a type should be readded to a node

Parameters:

node -

type -

Returns:

restoreAllValues

protected void restoreAllValues()

Overrides:

restoreAllValues in class CompletionStrategy

findAllValues

protected EdgeList findAllValues(Node node,
                                 Set<aterm.ATermAppl> removedTypes)

Find applicable all values for a removed type during a restore

Parameters:

node -

removedTypes -

Returns:

findAllValues

protected EdgeList findAllValues(Node node,
                                 Individual neighbor,
                                 Set<aterm.ATermAppl> removedTypes,
                                 Edge edge)

Method to find the edges which an all values could be applied to

Parameters:

node -

neighbor -

removedTypes -

edge -

Returns: