org.mindswap.pellet.tableau.completion
Class EmptySRIQStrategy

java.lang.Object
  extended by org.mindswap.pellet.tableau.completion.CompletionStrategy
      extended by org.mindswap.pellet.tableau.completion.EmptySRIQStrategy

public class EmptySRIQStrategy
extends CompletionStrategy

Completion strategy for a SRIQ KB that does not have individuals in the ABox. When ABox is empty completion always starts with a single root individual that represents the concept whose satisfiability is being searched.

Author:
Evren Sirin

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

Constructor Detail

EmptySRIQStrategy

public EmptySRIQStrategy(ABox abox)
Method Detail

initialize

public void initialize(Expressivity expressivity)
Overrides:
initialize in class CompletionStrategy

complete

public void complete(Expressivity expr)
Description copied from class: CompletionStrategy
apply all the tableau rules to the designated ABox

Specified by:
complete in class CompletionStrategy

restoreLocal

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

restore

public void restore(Branch br)
Overrides:
restore in class CompletionStrategy

addBranch

public void addBranch(Branch newBranch)
Overrides:
addBranch in class CompletionStrategy


Copyright © 2004 Evren Sirin. All Rights Reserved.