|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use SROIQStrategy | |
|---|---|
| com.clarkparsia.pellet.rules | |
| org.mindswap.pellet.tableau.completion | |
| Uses of SROIQStrategy in com.clarkparsia.pellet.rules |
|---|
| Subclasses of SROIQStrategy in com.clarkparsia.pellet.rules | |
|---|---|
class |
ContinuousRulesStrategy
|
class |
RuleStrategy
|
| Uses of SROIQStrategy in org.mindswap.pellet.tableau.completion |
|---|
| Subclasses of SROIQStrategy in org.mindswap.pellet.tableau.completion | |
|---|---|
class |
EmptySHNStrategy
Completion strategy for a SHN KB that does not have individuals in the ABox. |
class |
SHINStrategy
Completion strategy for SHIN ontologies (simply uses SHOINStartegy but with optimized double blocking) |
class |
SHNStrategy
Completion strategy for SHN ontologies (simply uses SHONStartegy but without nominal rule) |
class |
SHOINStrategy
|
class |
SHOIQStrategy
Title: |
class |
SHONStrategy
Completion strategy for SHON ontologies (simply uses SHOINStartegy but with subset blocking) |
class |
SROIQIncStrategy
The completion strategy for incremental consistency checking. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||