| Class | Description |
|---|---|
| DisableSameAs |
Disables sameAs in associated SimpleReasoner.
|
| SimpleBridgingRule |
handles rules of the form
assertedProp1(?x, ?y) ^ assertedProp2(?y, ?z) -> inferredProp(?x, ?z)
|
| SimplePropertyAndTypeRule |
handles rules of the form
assertedProp(?x, ?y) ^ type(?x) -> inferredProp(?x, ?y)
|
Copyright © 2016. All rights reserved.