Package | Description |
---|---|
org.semanticweb.owlapitools.decomposition | |
uk.ac.manchester.cs.atomicdecomposition |
Class and Description |
---|
AtomList
Atomic ontology structure.
|
AxiomWrapper
Wrapper around an OWLAxiom to hold attributes such as used, included in a module, included in
search space and atom which contains it.
|
IdentityMultiMap |
LocalityChecker |
Modularizer
class to create modules of an ontology wrt module type
|
OntologyAtom
An ontology atom including module and dependencies information.
|
SigAccessor
helper class to set signature and locality class
|
Signature
class to hold the signature of a module
|
Class and Description |
---|
AtomList
Atomic ontology structure.
|
Copyright © 2020 The University of Manchester. All rights reserved.