Package openllet.core.rules

Class ContinuousRulesStrategy

java.lang.Object

openllet.core.tableau.completion.CompletionStrategy

openllet.core.tableau.completion.SROIQStrategy

openllet.core.rules.ContinuousRulesStrategy

public class ContinuousRulesStrategy
extends SROIQStrategy

Field Summary

Fields inherited from class openllet.core.tableau.completion.CompletionStrategy

_logger

Constructor Summary

Constructors

Constructor	Description
ContinuousRulesStrategy(ABox abox)

Method Summary

Modifier and Type	Method	Description
Edge	addEdge(Individual subj, Role pred, Node obj, DependencySet ds)
void	addPartialBinding(PartialBinding binding)
void	addType(Node node, openllet.aterm.ATermAppl c, DependencySet ds)
void	addUnsafeRule(Rule rule, java.util.Set<openllet.aterm.ATermAppl> explain)
java.util.Collection<PartialBinding>	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)
boolean	setDifferent(Node y, Node z, DependencySet ds)

Methods inherited from class openllet.core.tableau.completion.CompletionStrategy

addBranch, applyDomainRange, applyFunctionality, applyPropertyRestrictions, applyPropertyRestrictions, applyUniversalRestrictions, checkReflexivitySymmetry, checkTimer, createFreshIndividual, getABox, getBlocking, getInitializeIterator, getTBox, initialize, mergeAll, printBlocked, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ContinuousRulesStrategy

public ContinuousRulesStrategy(ABox abox)

Method Detail

addUnsafeRule

public void addUnsafeRule(Rule rule,
                          java.util.Set<openllet.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,
                    openllet.aterm.ATermAppl c,
                    DependencySet ds)

Overrides:

addType in class CompletionStrategy

setDifferent

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

Overrides:

setDifferent in class CompletionStrategy

applyRete

public java.util.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

Parameters:

expr - of the tableau

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