|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Classes in org.semanticweb.elk.reasoner.saturation.properties used by org.semanticweb.elk.reasoner.indexing.hierarchy | |
|---|---|
| SaturatedPropertyChain
This object is used for fast retrieval of property inclusions and compositions which are needed during saturation of class expressions. |
|
| Classes in org.semanticweb.elk.reasoner.saturation.properties used by org.semanticweb.elk.reasoner.saturation.properties | |
|---|---|
| SaturatedPropertyChain
This object is used for fast retrieval of property inclusions and compositions which are needed during saturation of class expressions. |
|
| Classes in org.semanticweb.elk.reasoner.saturation.properties used by org.semanticweb.elk.reasoner.stages | |
|---|---|
| SaturatedPropertyChain
This object is used for fast retrieval of property inclusions and compositions which are needed during saturation of class expressions. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||