| Package | Description |
|---|---|
| org.semanticweb.owlapi.atomicdecomposition | |
| uk.ac.manchester.cs.factplusplusad |
This package contains a port of FaCT++ Atomic Decomposition implementation.
|
| Modifier and Type | Method and Description |
|---|---|
static ModuleMethod |
ModuleMethod.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static ModuleMethod[] |
ModuleMethod.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
| Constructor and Description |
|---|
OntologyBasedModularizer(OWLOntology ontology,
ModuleMethod moduleMethod) |
Copyright © 2021 The University of Manchester. All rights reserved.