| Package | Description |
|---|---|
| it.unibz.inf.ontop.injection | |
| it.unibz.inf.ontop.spec | |
| it.unibz.inf.ontop.spec.impl | |
| it.unibz.inf.ontop.spec.ontology | |
| it.unibz.inf.ontop.spec.ontology.impl |
| Modifier and Type | Method and Description |
|---|---|
OBDASpecification |
SpecificationFactory.createSpecification(Mapping saturatedMapping,
DBParameters dbMParameters,
ClassifiedTBox tBox) |
| Modifier and Type | Method and Description |
|---|---|
ClassifiedTBox |
OBDASpecification.getSaturatedTBox() |
| Modifier and Type | Method and Description |
|---|---|
ClassifiedTBox |
OBDASpecificationImpl.getSaturatedTBox() |
| Modifier and Type | Method and Description |
|---|---|
ClassifiedTBox |
Ontology.tbox() |
| Modifier and Type | Class and Description |
|---|---|
class |
ClassifiedTBoxImpl
ClassifiedTBoxImpl
a DAG-based TBox reasoner
|
| Modifier and Type | Method and Description |
|---|---|
ClassifiedTBox |
OntologyImpl.tbox() |
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.