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
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ContinuousRulesStrategy
public ContinuousRulesStrategy(ABox abox)
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 prunedz
- Node that is being merged intods
- 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
Copyright © 2004 Evren Sirin. All Rights Reserved.