Package openllet.core.tableau.completion

Class EmptySRIQStrategy

java.lang.Object

openllet.core.tableau.completion.CompletionStrategy

openllet.core.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 openllet.core.tableau.completion.CompletionStrategy

_logger

Constructor Summary

Constructors

Constructor	Description
EmptySRIQStrategy(ABox abox)

Method Summary

Modifier and Type	Method	Description
void	addBranch(Branch newBranch)
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 openllet.core.tableau.completion.CompletionStrategy

addEdge, addType, applyDomainRange, applyFunctionality, applyPropertyRestrictions, applyPropertyRestrictions, applyUniversalRestrictions, checkReflexivitySymmetry, checkTimer, createFreshIndividual, getABox, getBlocking, getInitializeIterator, getTBox, mergeAll, mergeTo, printBlocked, setDifferent, toString

Methods inherited from class java.lang.Object

equals, 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

Parameters:

expr - of the tableau

restoreLocal

public void restoreLocal(Individual ind,
                         Branch br)

Overrides:

restoreLocal in class CompletionStrategy

restore

public void restore(Branch br)

Overrides:

restore in class CompletionStrategy

addBranch

public void addBranch(Branch newBranch)

Overrides:

addBranch in class CompletionStrategy