org.mindswap.pellet.tableau.completion
Class SHINStrategy

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
                  extended by org.mindswap.pellet.tableau.completion.SHINStrategy

public class SHINStrategy
extends SHOINStrategy

Completion strategy for SHIN ontologies (simply uses SHOINStartegy but with optimized double blocking)

Author:
Evren Sirin

Field Summary
 
Fields inherited from class org.mindswap.pellet.tableau.completion.CompletionStrategy
log
 
Constructor Summary
SHINStrategy(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

SHINStrategy

public SHINStrategy(ABox abox)


Copyright © 2004 Evren Sirin. All Rights Reserved.