|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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. |
|
| SROIQStrategy
Title: |
|
| Classes in org.mindswap.pellet.tableau.completion used by org.mindswap.pellet.tableau.completion.rule | |
|---|---|
| CompletionStrategy
A completion strategy specifies how the tableau rules will be applied to an ABox. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||