com.clarkparsia.pellet.rules

Class ContinuousRulesStrategy

java.lang.Object

org.mindswap.pellet.tableau.completion.CompletionStrategy

org.mindswap.pellet.tableau.completion.SROIQStrategy

com.clarkparsia.pellet.rules.ContinuousRulesStrategy

public class ContinuousRulesStrategy
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
ContinuousRulesStrategy(ABox abox)

Method Summary

Methods

Modifier and Type	Method and Description
void	addEdge(Individual subj, Role pred, Node obj, DependencySet ds)
void	addType(Node node, aterm.ATermAppl c, DependencySet ds)
void	applyRete()
void	applyRuleBindings()
void	complete(Expressivity expr) apply all the tableau rules to the designated ABox
void	mergeTo(Node y, Node z, DependencySet ds) Merge node y into z.
void	restore(Branch branch)
void	restoreLocal(Individual ind, Branch branch)

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

backtrack

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ContinuousRulesStrategy

public ContinuousRulesStrategy(ABox abox)

Method Detail

addEdge

public void addEdge(Individual subj,
           Role pred,
           Node obj,
           DependencySet ds)

Overrides:

addEdge in class CompletionStrategy

addType

public void addType(Node node,
           aterm.ATermAppl c,
           DependencySet ds)

Overrides:

addType in class CompletionStrategy

applyRete

public void applyRete()

applyRuleBindings

public void applyRuleBindings()

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

mergeTo

public void mergeTo(Node y,
           Node z,
           DependencySet ds)

Description copied from class: CompletionStrategy

Merge node y into z. Node y and all its descendants will be pruned from the completion graph.

Overrides:

mergeTo in class CompletionStrategy

Parameters:

y - Node being pruned

z - Node that is being merged into

ds - Dependency of this merge operation

restore

public void restore(Branch branch)

Overrides:

restore in class CompletionStrategy

restoreLocal

public void restoreLocal(Individual ind,
                Branch branch)

Overrides:

restoreLocal in class CompletionStrategy