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

Packages that use SROIQStrategy
com.clarkparsia.pellet.rules   
org.mindswap.pellet.tableau.completion   
 

Uses of SROIQStrategy in com.clarkparsia.pellet.rules
 

Subclasses of SROIQStrategy in com.clarkparsia.pellet.rules
 class ContinuousRulesStrategy
           
 class RuleStrategy
           
 

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

Subclasses of SROIQStrategy 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 SHOIQStrategy
          Title:
 class SHONStrategy
          Completion strategy for SHON ontologies (simply uses SHOINStartegy but with subset blocking)
 class SROIQIncStrategy
          The completion strategy for incremental consistency checking.
 



Copyright © 2004 Evren Sirin. All Rights Reserved.