|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use org.mindswap.pellet.tableau.completion | |
|---|---|
| com.clarkparsia.pellet.rules | |
| org.mindswap.pellet | |
| org.mindswap.pellet.tableau.branch | |
| org.mindswap.pellet.tableau.completion | |
| Classes in org.mindswap.pellet.tableau.completion used by com.clarkparsia.pellet.rules | |
|---|---|
| CompletionStrategy
A completion strategy specifies how the tableau rules will be applied to an ABox. |
|
| SROIQStrategy
Title: |
|
| Classes in org.mindswap.pellet.tableau.completion used by org.mindswap.pellet | |
|---|---|
| CompletionStrategy
A completion strategy specifies how the tableau rules will be applied to an ABox. |
|
| Classes in org.mindswap.pellet.tableau.completion used by org.mindswap.pellet.tableau.branch | |
|---|---|
| CompletionStrategy
A completion strategy specifies how the tableau rules will be applied to an ABox. |
|
| Classes in org.mindswap.pellet.tableau.completion used by org.mindswap.pellet.tableau.completion | |
|---|---|
| CompletionStrategy
A completion strategy specifies how the tableau rules will be applied to an ABox. |
|
| SHOINStrategy
|
|
| SHOIQStrategy
Title: |
|
| SROIQStrategy
Title: |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||