|
||||||||||
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 |