it.unibz.inf.ontop.spec.ontology

Interface EquivalencesDAG<T>

All Superinterfaces:

Iterable<Equivalences<T>>

All Known Implementing Classes:

EquivalencesDAGImpl

public interface EquivalencesDAG<T>
extends Iterable<Equivalences<T>>

Method Summary

Modifier and Type	Method and Description
T	getCanonicalForm(T v)
com.google.common.collect.ImmutableSet<Equivalences<T>>	getDirectSub(Equivalences<T> v)
com.google.common.collect.ImmutableSet<Equivalences<T>>	getDirectSuper(Equivalences<T> v)
com.google.common.collect.ImmutableSet<Equivalences<T>>	getSub(Equivalences<T> v) Reflexive and transitive closure of the sub-description relation
com.google.common.collect.ImmutableSet<T>	getSubRepresentatives(T v)
com.google.common.collect.ImmutableSet<Equivalences<T>>	getSuper(Equivalences<T> v) Reflexive and transitive closure of the super-description relation
Equivalences<T>	getVertex(T v)
Stream<Equivalences<T>>	stream()

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Method Detail

getVertex

Equivalences<T> getVertex(T v)

getCanonicalForm

T getCanonicalForm(T v)

Parameters:

v -

Returns:

null if either v is the representative itself or the DAG does not contain the vertex

getDirectSub

com.google.common.collect.ImmutableSet<Equivalences<T>> getDirectSub(Equivalences<T> v)

getSub

com.google.common.collect.ImmutableSet<Equivalences<T>> getSub(Equivalences<T> v)

Reflexive and transitive closure of the sub-description relation

Parameters:

v: - an equivalence set of a description (a property or a class)

Returns:

equivalence sets for all sub-descriptions (including v)

getDirectSuper

com.google.common.collect.ImmutableSet<Equivalences<T>> getDirectSuper(Equivalences<T> v)

getSubRepresentatives

com.google.common.collect.ImmutableSet<T> getSubRepresentatives(T v)

getSuper

com.google.common.collect.ImmutableSet<Equivalences<T>> getSuper(Equivalences<T> v)

Reflexive and transitive closure of the super-description relation

Parameters:

v: - an equivalence set of a description (a property or a class)

Returns:

equivalence sets for all super-descriptions (including v)

stream

Stream<Equivalences<T>> stream()