org.mindswap.pellet.tableau.completion
Class SHONStrategy

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

public class SHONStrategy
extends SHOINStrategy

Completion strategy for SHON ontologies (simply uses SHOINStartegy but with subset blocking)

Author:
Evren Sirin

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

SHONStrategy

public SHONStrategy(ABox abox)


Copyright © 2004 Evren Sirin. All Rights Reserved.