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

Packages that use IndexedPropertyChain

Package	Description
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

Modifier and Type	Method and Description
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

Modifier and Type	Class and Description
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

Modifier and Type	Class and Description
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

Modifier and Type	Field and Description
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

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
Collection<IndexedPropertyChain>	DirectIndex.getIndexedPropertyChains()
List<IndexedPropertyChain>	IndexedObjectProperty.getToldSubProperties()

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

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
IndexedPropertyChain	ForwardLink.getRelation()
IndexedPropertyChain	BackwardLink.getRelation()

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

Modifier and Type	Method and Description
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

Constructor and Description
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

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
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

Constructor and Description
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

Modifier and Type	Method and Description
Map<IndexedPropertyChain,SaturatedPropertyChain>	AbstractReasonerState.getPropertySaturationMap()