Uses of Interface
it.unibz.inf.ontop.spec.ontology.EquivalencesDAG

Packages that use EquivalencesDAG

Package	Description
it.unibz.inf.ontop.spec.ontology
it.unibz.inf.ontop.spec.ontology.impl

Uses of EquivalencesDAG in it.unibz.inf.ontop.spec.ontology

Methods in it.unibz.inf.ontop.spec.ontology that return EquivalencesDAG

Modifier and Type	Method and Description
EquivalencesDAG<ClassExpression>	ClassifiedTBox.classesDAG()
EquivalencesDAG<DataPropertyExpression>	ClassifiedTBox.dataPropertiesDAG()
EquivalencesDAG<DataRangeExpression>	ClassifiedTBox.dataRangesDAG() datatypes and data property ranges
EquivalencesDAG<ObjectPropertyExpression>	ClassifiedTBox.objectPropertiesDAG()

Uses of EquivalencesDAG in it.unibz.inf.ontop.spec.ontology.impl

Classes in it.unibz.inf.ontop.spec.ontology.impl that implement EquivalencesDAG

Modifier and Type	Class and Description
class	EquivalencesDAGImpl<T> DAG from an OntologyGraph The vertices of the DAG are equivalence sets (Equivalences) The edges form the minimal set whose transitive and reflexive closure coincides with the transitive and reflexive closure of the ontology graph

Methods in it.unibz.inf.ontop.spec.ontology.impl that return EquivalencesDAG

Modifier and Type	Method and Description
EquivalencesDAG<ClassExpression>	ClassifiedTBoxImpl.classesDAG()
EquivalencesDAG<DataPropertyExpression>	ClassifiedTBoxImpl.dataPropertiesDAG()
EquivalencesDAG<DataRangeExpression>	ClassifiedTBoxImpl.dataRangesDAG()
EquivalencesDAG<ObjectPropertyExpression>	ClassifiedTBoxImpl.objectPropertiesDAG()