|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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: |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |