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.