org.mindswap.pellet.tableau.completion

Class EmptySRIQStrategy

java.lang.Object

org.mindswap.pellet.tableau.completion.CompletionStrategy

org.mindswap.pellet.tableau.completion.EmptySRIQStrategy

public class EmptySRIQStrategy
extends CompletionStrategy

Completion strategy for a SRIQ KB that does not have individuals in the ABox. When ABox is empty completion always starts with a single root individual that represents the concept whose satisfiability is being searched.

Author:

Evren Sirin

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
EmptySRIQStrategy(ABox abox)

Method Summary

Modifier and Type	Method and Description
void	addBranch(Branch newBranch)
protected boolean	backtrack()
void	complete(Expressivity expr) apply all the tableau rules to the designated ABox
void	initialize(Expressivity expressivity)
void	restore(Branch br)
void	restoreLocal(Individual ind, Branch br)

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

addAllRules, addEdge, addType, applyFunctionalMaxRule, checkTimer, configureTableauRules, createFreshIndividual, getABox, getBlocking, getInitializeIterator, getTBox, implicitNominals, mergeAll, mergeIndividuals, mergeLiterals, mergeTo, restoreAllValues, setDifferent, toString, updateQueueAddEdge

Methods inherited from class java.lang.Object

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

Constructor Detail

EmptySRIQStrategy

public EmptySRIQStrategy(ABox abox)

Method Detail

initialize

public void initialize(Expressivity expressivity)

Overrides:

initialize in class CompletionStrategy

complete

public void complete(Expressivity expr)

Description copied from class: CompletionStrategy

apply all the tableau rules to the designated ABox

Specified by:

complete in class CompletionStrategy

restoreLocal

public void restoreLocal(Individual ind,
                         Branch br)

Overrides:

restoreLocal in class CompletionStrategy

restore

public void restore(Branch br)

Overrides:

restore in class CompletionStrategy

backtrack

protected boolean backtrack()

addBranch

public void addBranch(Branch newBranch)

Overrides:

addBranch in class CompletionStrategy