com.clarkparsia.pellet.rules
Class ContinuousRulesStrategy

java.lang.Object
  extended by org.mindswap.pellet.tableau.completion.CompletionStrategy
      extended by org.mindswap.pellet.tableau.completion.SROIQStrategy
          extended by com.clarkparsia.pellet.rules.ContinuousRulesStrategy

public class ContinuousRulesStrategy
extends SROIQStrategy


Field Summary
 
Fields inherited from class org.mindswap.pellet.tableau.completion.CompletionStrategy
log
 
Constructor Summary
ContinuousRulesStrategy(ABox abox)
           
 
Method Summary
 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.CompletionStrategy
addBranch, checkTimer, createFreshIndividual, getABox, getBlocking, getInitializeIterator, getTBox, initialize, mergeAll, 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

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


Copyright © 2004 Evren Sirin. All Rights Reserved.