org.mindswap.pellet.tableau.completion
Class SHOINStrategy

java.lang.Object
  extended by org.mindswap.pellet.tableau.completion.CompletionStrategy
      extended by org.mindswap.pellet.tableau.completion.SROIQStrategy
          extended by org.mindswap.pellet.tableau.completion.SHOIQStrategy
              extended by org.mindswap.pellet.tableau.completion.SHOINStrategy
Direct Known Subclasses:
SHINStrategy, SHNStrategy, SHONStrategy

public class SHOINStrategy
extends SHOIQStrategy

Author:
Evren Sirin

Field Summary
 
Fields inherited from class org.mindswap.pellet.tableau.completion.CompletionStrategy
log
 
Constructor Summary
SHOINStrategy(ABox abox)
           
 
Method Summary
 
Methods inherited from class org.mindswap.pellet.tableau.completion.SROIQStrategy
complete
 
Methods inherited from class org.mindswap.pellet.tableau.completion.CompletionStrategy
addEdge, addType, createFreshIndividual, getInitializeIterator, initialize, mergeTo, restore, restoreLocal, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

SHOINStrategy

public SHOINStrategy(ABox abox)


Copyright © 2004 Evren Sirin. All Rights Reserved.