|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.mindswap.pellet.tableau.completion.CompletionStrategy
org.mindswap.pellet.tableau.completion.SROIQStrategy
org.mindswap.pellet.tableau.completion.SHOIQStrategy
org.mindswap.pellet.tableau.completion.SHOINStrategy
org.mindswap.pellet.tableau.completion.SHNStrategy
public class SHNStrategy
Completion strategy for SHN ontologies (simply uses SHONStartegy but without nominal rule)
| Field Summary |
|---|
| Fields inherited from class org.mindswap.pellet.tableau.completion.CompletionStrategy |
|---|
log |
| Constructor Summary | |
|---|---|
SHNStrategy(ABox abox)
|
|
| Method Summary |
|---|
| Methods inherited from class org.mindswap.pellet.tableau.completion.SROIQStrategy |
|---|
complete |
| Methods inherited from class org.mindswap.pellet.tableau.completion.CompletionStrategy |
|---|
addEdge, addType, createFreshIndividual, getInitializeIterator, initialize, mergeTo, restore, restoreLocal, toString |
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
|---|
public SHNStrategy(ABox abox)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||