| Class and Description |
|---|
| CompletionStrategy
A completion strategy specifies how the tableau rules will be applied to an ABox.
|
| SROIQStrategy
Title:
|
| Class and Description |
|---|
| CompletionStrategy
A completion strategy specifies how the tableau rules will be applied to an ABox.
|
| Class and Description |
|---|
| CompletionStrategy
A completion strategy specifies how the tableau rules will be applied to an ABox.
|
| Class and Description |
|---|
| CompletionStrategy
A completion strategy specifies how the tableau rules will be applied to an ABox.
|
| SROIQStrategy
Title:
|
| Class and Description |
|---|
| CompletionStrategy
A completion strategy specifies how the tableau rules will be applied to an ABox.
|
Copyright © 2019. All rights reserved.