|
||||||||||
| 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 | |||||||||