org.mindswap.pellet.tableau.completion
Class SHNStrategy

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

public class SHNStrategy
extends SHOINStrategy

Completion strategy for SHN ontologies (simply uses SHONStartegy but without nominal rule)

Author:
Evren Sirin

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

SHNStrategy

public SHNStrategy(ABox abox)


Copyright © 2004 Evren Sirin. All Rights Reserved.