org.mindswap.pellet.tableau.completion
Class SHOIQStrategy

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
Direct Known Subclasses:
EmptySHNStrategy, SHOINStrategy

public class SHOIQStrategy
extends SROIQStrategy

Title:

Description:

Copyright: Copyright (c) 2006

Company: Clark & Parsia, LLC.

Author:
Evren Sirin

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

SHOIQStrategy

public SHOIQStrategy(ABox abox)


Copyright © 2004 Evren Sirin. All Rights Reserved.