public class RuleStrategy extends SROIQStrategy
abox, allValuesRule, blocking, chooseRule, completionTimer, dataCardRule, dataSatRule, disjunctionRule, guessRule, log, maxRule, mergeList, minRule, nominalRule, selfRule, someValuesRule, tableauRules, tbox, timers, unfoldingRule| Constructor and Description |
|---|
RuleStrategy(ABox abox) |
| 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) |
backtrackaddAllRules, addBranch, addEdge, addType, applyFunctionalMaxRule, checkTimer, configureTableauRules, createFreshIndividual, getABox, getBlocking, getInitializeIterator, getTBox, implicitNominals, initialize, mergeAll, mergeIndividuals, mergeLiterals, mergeTo, restore, restoreAllValues, toString, updateQueueAddEdgepublic RuleStrategy(ABox abox)
public void applyRULERule()
public void complete(Expressivity expr)
CompletionStrategycomplete in class SROIQStrategypublic void restoreLocal(Individual ind, Branch br)
restoreLocal in class CompletionStrategyCopyright © 2013. All Rights Reserved.