com.clarkparsia.pellet.rules

Class RuleStrategy

java.lang.Object

org.mindswap.pellet.tableau.completion.CompletionStrategy

org.mindswap.pellet.tableau.completion.SROIQStrategy

com.clarkparsia.pellet.rules.RuleStrategy

public class RuleStrategy
extends SROIQStrategy

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

Method Summary

Methods

Modifier and Type	Method and Description
void	applyRULERule()
void	complete(Expressivity expr) apply all the tableau rules to the designated ABox
void	restoreLocal(Individual ind, Branch br)

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

backtrack

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

RuleStrategy

public RuleStrategy(ABox abox)

Method Detail

applyRULERule

public void applyRULERule()

complete

public void complete(Expressivity expr)

Description copied from class: CompletionStrategy

apply all the tableau rules to the designated ABox

Overrides:

complete in class SROIQStrategy

restoreLocal

public void restoreLocal(Individual ind,
                Branch br)

Overrides:

restoreLocal in class CompletionStrategy