Uses of Class
org.mindswap.pellet.tableau.completion.SHOIQStrategy

Packages that use SHOIQStrategy
org.mindswap.pellet.tableau.completion   
 

Uses of SHOIQStrategy in org.mindswap.pellet.tableau.completion
 

Subclasses of SHOIQStrategy in org.mindswap.pellet.tableau.completion
 class EmptySHNStrategy
          Completion strategy for a SHN KB that does not have individuals in the ABox.
 class SHINStrategy
          Completion strategy for SHIN ontologies (simply uses SHOINStartegy but with optimized double blocking)
 class SHNStrategy
          Completion strategy for SHN ontologies (simply uses SHONStartegy but without nominal rule)
 class SHOINStrategy
           
 class SHONStrategy
          Completion strategy for SHON ontologies (simply uses SHOINStartegy but with subset blocking)
 



Copyright © 2004 Evren Sirin. All Rights Reserved.