com.clarkparsia.pellet.rules
Class RuleStrategy

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.RuleStrategy

public class RuleStrategy
extends SROIQStrategy


Field Summary
 
Fields inherited from class org.mindswap.pellet.tableau.completion.CompletionStrategy
log
 
Constructor Summary
RuleStrategy(ABox abox)
           
 
Method Summary
 void applyRULERule()
           
 void complete(Expressivity expr)
          apply all the tableau rules to the designated ABox
 void restoreLocal(Individual ind, Branch br)
           
 
Methods inherited from class org.mindswap.pellet.tableau.completion.CompletionStrategy
addBranch, addEdge, addType, checkTimer, createFreshIndividual, getABox, getBlocking, getInitializeIterator, getTBox, initialize, mergeAll, mergeTo, restore, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

RuleStrategy

public RuleStrategy(ABox abox)
Method Detail

applyRULERule

public void applyRULERule()

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

restoreLocal

public void restoreLocal(Individual ind,
                         Branch br)
Overrides:
restoreLocal in class CompletionStrategy


Copyright © 2004 Evren Sirin. All Rights Reserved.