Package org.mindswap.pellet.tableau.completion

Class Summary
CompletionStrategy A completion strategy specifies how the tableau rules will be applied to an ABox.
EmptySRIQStrategy Completion strategy for a SRIQ KB that does not have individuals in the ABox.
SROIQIncStrategy The completion strategy for incremental consistency checking.
SROIQStrategy Title:
 



Copyright © 2004 Evren Sirin. All Rights Reserved.