elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/saturation/properties/ObjectPropertyTaxonomyComputationFactory.java
private Map<IndexedObjectProperty, ElkObjectProperty> collectEquivalent(
			final IndexedObjectProperty property) {

		final Set<IndexedObjectProperty> subProperties = property.getSaturated()
				.getSubProperties();
		final Map<IndexedObjectProperty, ElkObjectProperty> equivalent = new ArrayHashMap<IndexedObjectProperty, ElkObjectProperty>();
		for (final IndexedObjectProperty subProperty : subProperties) {
			if (subProperty.equals(indexedTopProperty_)) {
				outputProcessor_
						.visit(new TransitiveReductionOutputExtremeImpl<ElkObjectProperty>(
								property.getElkEntity()));
				return null;
			}
			if (subProperty.getSaturated().getSubProperties().contains(property)
					|| property.equals(indexedBottomProperty_)) {
				equivalent.put(subProperty, subProperty.getElkEntity());
			}
		}
		if (indexedBottomProperty_.getSaturated().getSubProperties()
				.contains(property)) {
			equivalent.put(indexedBottomProperty_,
					indexedBottomProperty_.getElkEntity());
		}

		return equivalent;
	}
private Map<IndexedObjectProperty, ElkObjectProperty> collectEquivalent(
			final IndexedObjectProperty property) {

		final Set<IndexedObjectProperty> subProperties = property.getSaturated()
				.getSubProperties();
		final Map<IndexedObjectProperty, ElkObjectProperty> equivalent = new ArrayHashMap<IndexedObjectProperty, ElkObjectProperty>();
		for (final IndexedObjectProperty subProperty : subProperties) {
			if (subProperty.equals(indexedTopProperty_)) {
				outputProcessor_
						.visit(new TransitiveReductionOutputExtremeImpl<ElkObjectProperty>(
								property.getElkEntity()));
				return null;
			}
			if (subProperty.getSaturated().getSubProperties().contains(property)
					|| property.equals(indexedBottomProperty_)) {
				equivalent.put(subProperty, subProperty.getElkEntity());
			}
		}
		if (indexedBottomProperty_.getSaturated().getSubProperties()
				.contains(property)) {
			equivalent.put(indexedBottomProperty_,
					indexedBottomProperty_.getElkEntity());
		}

		return equivalent;
	}
private Map < IndexedObjectProperty , ElkObjectProperty > collectEquivalent ( final IndexedObjectProperty property ) { final Set < IndexedObjectProperty > subProperties = property . getSaturated ( ) . getSubProperties ( ) ; final Map < IndexedObjectProperty , ElkObjectProperty > equivalent = new ArrayHashMap < IndexedObjectProperty , ElkObjectProperty > ( ) ; for ( final IndexedObjectProperty subProperty : subProperties ) { if ( subProperty . equals ( indexedTopProperty_ ) ) { outputProcessor_ . visit ( new TransitiveReductionOutputExtremeImpl < ElkObjectProperty > ( property . getElkEntity ( ) ) ) ; return null ; } if ( subProperty . getSaturated ( ) . getSubProperties ( ) . contains ( property ) || property . equals ( indexedBottomProperty_ ) ) { equivalent . put ( subProperty , subProperty . getElkEntity ( ) ) ; } } if ( indexedBottomProperty_ . getSaturated ( ) . getSubProperties ( ) . contains ( property ) ) { equivalent . put ( indexedBottomProperty_ , indexedBottomProperty_ . getElkEntity ( ) ) ; } return equivalent ; }
Collects sub-properties of <code>property</code> that are equivalent to
it. Returns <code>null</code> if <code>property</code> is equivalent to
the top property.

@param property
@return <code>null</code> if the specified property is equivalent to the
top property, otherwise mapping from equivalent indexed
properties to their elk entities.
Collects sub - properties of <code > property< / code > that are equivalent to it . Returns <code > null< / code > if <code > property< / code > is equivalent to the top property .