|
Class Summary |
| CompletionStrategy |
A completion strategy specifies how the tableau rules will be applied to an ABox. |
| EmptySHNStrategy |
Completion strategy for a SHN KB that does not have individuals in the ABox. |
| SHINStrategy |
Completion strategy for SHIN ontologies (simply uses SHOINStartegy but with optimized
double blocking) |
| SHNStrategy |
Completion strategy for SHN ontologies (simply uses SHONStartegy but without nominal rule) |
| SHOINStrategy |
|
| SHOIQStrategy |
Title: |
| SHONStrategy |
Completion strategy for SHON ontologies (simply uses SHOINStartegy but with subset blocking) |
| SROIQIncStrategy |
The completion strategy for incremental consistency checking. |
| SROIQStrategy |
Title: |