| Package | Description |
|---|---|
| it.unibz.inf.ontop.spec.ontology.impl |
| Class and Description |
|---|
| EquivalencesDAGImpl
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
|
| OntologyImpl.UnclassifiedOntologyTBox |
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.