| Class | Description |
|---|---|
| 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 © 2013. All Rights Reserved.