Uses of Class
org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain

Packages that use IndexedPropertyChain

org.semanticweb.elk.reasoner.indexing
org.semanticweb.elk.reasoner.indexing.entries
org.semanticweb.elk.reasoner.indexing.hierarchy
org.semanticweb.elk.reasoner.saturation
org.semanticweb.elk.reasoner.saturation.conclusions
org.semanticweb.elk.reasoner.saturation.context
org.semanticweb.elk.reasoner.saturation.properties
org.semanticweb.elk.reasoner.stages

Uses of IndexedPropertyChain in org.semanticweb.elk.reasoner.indexing

Methods in org.semanticweb.elk.reasoner.indexing that return types with arguments of type IndexedPropertyChain

Collection<IndexedPropertyChain>

OntologyIndex.getIndexedPropertyChains()

Uses of IndexedPropertyChain in org.semanticweb.elk.reasoner.indexing.entries

Classes in org.semanticweb.elk.reasoner.indexing.entries with type parameters of type IndexedPropertyChain

class

IndexedPropertyChainEntry<T,K extends IndexedPropertyChain> The wrapper class to define custom equality and hash functions for IndexedPropertyChains to be used in KeyEntryHashSet.

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

Subclasses of IndexedPropertyChain in org.semanticweb.elk.reasoner.indexing.hierarchy

class	IndexedBinaryPropertyChain Represents a complex ElkSubObjectPropertyExpressions.
class	IndexedObjectProperty Represents all occurrences of an ElkObjectProperty in an ontology.

Fields in org.semanticweb.elk.reasoner.indexing.hierarchy with type parameters of type IndexedPropertyChain

protected KeyEntryHashSet<IndexedPropertyChain>	IndexedObjectCache.indexedPropertyChainLookup
protected List<IndexedPropertyChain>	IndexedObjectProperty.toldSubProperties Correctness of axioms deletions requires that toldSubProperties is a List.

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

protected IndexedPropertyChain	AbstractIndexObjectConverter.defaultVisit(ElkSubObjectPropertyExpression expression)
IndexedPropertyChain	IndexedBinaryPropertyChain.getComposable(IndexedPropertyChain ipc)
IndexedPropertyChain	IndexedBinaryPropertyChain.getRightProperty()
IndexedPropertyChain	AbstractIndexObjectConverter.visit(ElkObjectInverseOf elkObjectInverseOf)
IndexedPropertyChain	IndexObjectConverter.visit(ElkObjectProperty elkObjectProperty)
IndexedPropertyChain	AbstractIndexObjectConverter.visit(ElkObjectProperty elkObjectProperty)
IndexedPropertyChain	IndexObjectConverter.visit(ElkObjectPropertyChain elkObjectPropertyChain)
IndexedPropertyChain	AbstractIndexObjectConverter.visit(ElkObjectPropertyChain elkObjectPropertyChain)

Methods in org.semanticweb.elk.reasoner.indexing.hierarchy that return types with arguments of type IndexedPropertyChain

Collection<IndexedPropertyChain>	DirectIndex.getIndexedPropertyChains()
List<IndexedPropertyChain>	IndexedObjectProperty.getToldSubProperties()

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

protected void	IndexedObjectProperty.addToldSubPropertyChain(IndexedPropertyChain subObjectProperty)
int	IndexedPropertyChain.compareTo(IndexedPropertyChain o)
static void	IndexedObjectSomeValuesFrom.generatePropagations(BasicSaturationStateWriter writer, IndexedPropertyChain property, Context context)
IndexedPropertyChain	IndexedBinaryPropertyChain.getComposable(IndexedPropertyChain ipc)
protected boolean	IndexedObjectProperty.removeToldSubObjectProperty(IndexedPropertyChain subObjectProperty)

Uses of IndexedPropertyChain in org.semanticweb.elk.reasoner.saturation

Methods in org.semanticweb.elk.reasoner.saturation that return types with arguments of type IndexedPropertyChain

Multimap<IndexedPropertyChain,Context>

ContextImpl.getBackwardLinksByObjectProperty()

Uses of IndexedPropertyChain in org.semanticweb.elk.reasoner.saturation.conclusions

Methods in org.semanticweb.elk.reasoner.saturation.conclusions that return IndexedPropertyChain

IndexedPropertyChain	ForwardLink.getRelation()
IndexedPropertyChain	BackwardLink.getRelation()

Methods in org.semanticweb.elk.reasoner.saturation.conclusions that return types with arguments of type IndexedPropertyChain

Multimap<IndexedPropertyChain,Context>	ForwardLink.ThisBackwardLinkRule.getForwardLinksByObjectProperty()
Multimap<IndexedPropertyChain,IndexedClassExpression>	Propagation.ThisBackwardLinkRule.getPropagationsByObjectProperty()

Constructors in org.semanticweb.elk.reasoner.saturation.conclusions with parameters of type IndexedPropertyChain

BackwardLink(Context source, IndexedPropertyChain relation)

ForwardLink(IndexedPropertyChain relation, Context target)

Propagation(IndexedPropertyChain relation, IndexedClassExpression carry)

Uses of IndexedPropertyChain in org.semanticweb.elk.reasoner.saturation.context

Methods in org.semanticweb.elk.reasoner.saturation.context that return types with arguments of type IndexedPropertyChain

Multimap<IndexedPropertyChain,Context>

Context.getBackwardLinksByObjectProperty()

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

Methods in org.semanticweb.elk.reasoner.saturation.properties that return types with arguments of type IndexedPropertyChain

Multimap<IndexedPropertyChain,IndexedPropertyChain>	SaturatedPropertyChain.getCompositionsByLeftSubProperty()
Multimap<IndexedPropertyChain,IndexedPropertyChain>	SaturatedPropertyChain.getCompositionsByLeftSubProperty()
Multimap<IndexedPropertyChain,IndexedPropertyChain>	SaturatedPropertyChain.getCompositionsByRightSubProperty()
Multimap<IndexedPropertyChain,IndexedPropertyChain>	SaturatedPropertyChain.getCompositionsByRightSubProperty()
Set<IndexedPropertyChain>	SaturatedPropertyChain.getSubProperties()

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

static SaturatedPropertyChain	SaturatedPropertyChain.getCreate(IndexedPropertyChain ipc)
static boolean	SaturatedPropertyChain.isRelevant(IndexedPropertyChain ipc) Determines if the given IndexedPropertyChain can be produced in BackwardLinks or ForwardLinks.

Constructors in org.semanticweb.elk.reasoner.saturation.properties with parameters of type IndexedPropertyChain

SaturatedPropertyChain(IndexedPropertyChain ipc)

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

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

Map<IndexedPropertyChain,SaturatedPropertyChain>

AbstractReasonerState.getPropertySaturationMap()