| Package | Description |
|---|---|
| org.semanticweb.elk.reasoner.indexing.hierarchy | |
| org.semanticweb.elk.reasoner.saturation.properties | |
| org.semanticweb.elk.reasoner.stages |
| Modifier and Type | Method and Description |
|---|---|
SaturatedPropertyChain |
IndexedPropertyChain.getSaturated() |
SaturatedPropertyChain |
IndexedPropertyChain.setSaturated(SaturatedPropertyChain saturatedObjectProperty)
Sets the corresponding
SaturatedObjecProperty of this
IndexedPropertyChain if none was yet assigned. |
| Modifier and Type | Method and Description |
|---|---|
SaturatedPropertyChain |
IndexedPropertyChain.setSaturated(SaturatedPropertyChain saturatedObjectProperty)
Sets the corresponding
SaturatedObjecProperty of this
IndexedPropertyChain if none was yet assigned. |
| Modifier and Type | Method and Description |
|---|---|
SaturatedPropertyChain |
SaturatedPropertyChain.clone() |
static SaturatedPropertyChain |
SaturatedPropertyChain.getCreate(IndexedPropertyChain ipc) |
| Modifier and Type | Method and Description |
|---|---|
void |
SaturatedPropertyChain.dumpDiff(SaturatedPropertyChain other,
Writer writer)
Prints differences with other
SaturatedPropertyChain |
| Modifier and Type | Method and Description |
|---|---|
Map<IndexedPropertyChain,SaturatedPropertyChain> |
AbstractReasonerState.getPropertySaturationMap() |
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.