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

Modifier and Type	Method and Description
Edge	addEdge(Individual subj, Role pred, Node obj, DependencySet ds)
void	addPartialBinding(PartialBinding binding)
void	addType(Node node, aterm.ATermAppl c, DependencySet ds)
void	addUnsafeRule(Rule rule, Set<aterm.ATermAppl> explain)
Collection<PartialBinding>	applyRete()
void	applyRuleBindings()
void	complete(Expressivity expr) apply all the tableau rules to the designated ABox
protected boolean	mergeIndividuals(Individual y, Individual x, DependencySet ds) Merge individual y into x.
void	mergeTo(Node y, Node z, DependencySet ds) Merge node y into z.
void	restore(Branch branch)
void	restoreLocal(Individual ind, Branch branch)
boolean	setDifferent(Node y, Node z, DependencySet ds)

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

addUnsafeRule

public void addUnsafeRule(Rule rule,
                          Set<aterm.ATermAppl> explain)

addPartialBinding

public void addPartialBinding(PartialBinding binding)

addEdge

public Edge 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

mergeIndividuals

protected boolean mergeIndividuals(Individual y,
                                   Individual x,
                                   DependencySet ds)

Description copied from class: CompletionStrategy

Merge individual y into x. Individual y and all its descendants will be pruned from the completion graph.

Overrides:

mergeIndividuals in class CompletionStrategy

Parameters:

y - Individual being pruned

x - Individual that is being merged into

ds - Dependency of this merge operation

setDifferent

public boolean setDifferent(Node y,
                            Node z,
                            DependencySet ds)

Overrides:

setDifferent in class CompletionStrategy

applyRete

public Collection<PartialBinding> 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