Uses of Class
org.semanticweb.elk.reasoner.saturation.properties.SaturatedPropertyChain

Packages that use SaturatedPropertyChain

org.semanticweb.elk.reasoner.indexing.hierarchy
org.semanticweb.elk.reasoner.saturation.properties
org.semanticweb.elk.reasoner.stages

Uses of SaturatedPropertyChain in org.semanticweb.elk.reasoner.indexing.hierarchy

Methods in org.semanticweb.elk.reasoner.indexing.hierarchy that return SaturatedPropertyChain

SaturatedPropertyChain	IndexedPropertyChain.getSaturated()
SaturatedPropertyChain	IndexedPropertyChain.setSaturated(SaturatedPropertyChain saturatedObjectProperty) Sets the corresponding SaturatedObjecProperty of this IndexedPropertyChain if none was yet assigned.

Methods in org.semanticweb.elk.reasoner.indexing.hierarchy with parameters of type SaturatedPropertyChain

SaturatedPropertyChain

IndexedPropertyChain.setSaturated(SaturatedPropertyChain saturatedObjectProperty) Sets the corresponding SaturatedObjecProperty of this IndexedPropertyChain if none was yet assigned.

Uses of SaturatedPropertyChain in org.semanticweb.elk.reasoner.saturation.properties

Methods in org.semanticweb.elk.reasoner.saturation.properties that return SaturatedPropertyChain

SaturatedPropertyChain	SaturatedPropertyChain.clone()
static SaturatedPropertyChain	SaturatedPropertyChain.getCreate(IndexedPropertyChain ipc)

Methods in org.semanticweb.elk.reasoner.saturation.properties with parameters of type SaturatedPropertyChain

void	SaturatedPropertyChain.dumpDiff(SaturatedPropertyChain other, Writer writer) Prints differences with other SaturatedPropertyChain

Uses of SaturatedPropertyChain in org.semanticweb.elk.reasoner.stages

Methods in org.semanticweb.elk.reasoner.stages that return types with arguments of type SaturatedPropertyChain

Map<IndexedPropertyChain,SaturatedPropertyChain>

AbstractReasonerState.getPropertySaturationMap()