| Package | Description |
|---|---|
| org.semanticweb.owlapitools.decomposition |
| Modifier and Type | Method and Description |
|---|---|
OntologyAtom |
AtomList.get(int index) |
OntologyAtom |
AtomList.newAtom() |
| Modifier and Type | Method and Description |
|---|---|
Set<OntologyAtom> |
OntologyAtom.getAllDepAtoms(Set<OntologyAtom> checked)
get all the atoms the current one depends on; build this set if necessary
|
Optional<OntologyAtom> |
AxiomWrapper.getAtom() |
Set<OntologyAtom> |
OntologyAtom.getDependencies() |
| Modifier and Type | Method and Description |
|---|---|
void |
OntologyAtom.addDepAtom(OntologyAtom atom) |
void |
AxiomWrapper.setAtom(OntologyAtom atom) |
| Modifier and Type | Method and Description |
|---|---|
void |
OntologyAtom.buildAllDepAtoms(Set<OntologyAtom> checked)
build all dep atoms; filter them from DepAtoms
|
Set<OntologyAtom> |
OntologyAtom.getAllDepAtoms(Set<OntologyAtom> checked)
get all the atoms the current one depends on; build this set if necessary
|
Copyright © 2020 The University of Manchester. All rights reserved.