Package | Description |
---|---|
uk.ac.manchester.cs.owlapi.modularity |
Modifier and Type | Method and Description |
---|---|
ModuleType |
SyntacticLocalityModuleExtractor.getModuleType()
Returns the module type for this extractor.
|
static ModuleType |
ModuleType.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static ModuleType[] |
ModuleType.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
void |
SyntacticLocalityModuleExtractor.setModuleType(ModuleType moduleType)
Changes the module type for this extractor without deleting the stored
referenced entities.
|
Constructor and Description |
---|
SyntacticLocalityModuleExtractor(OWLOntologyManager man,
OWLOntology ont,
ModuleType moduleType)
Creates a new module extractor for a given ontology, its manager, and a
specified type of locality.
|
SyntacticLocalityModuleExtractor(OWLOntologyManager man,
OWLOntology ont,
Set<OWLAxiom> axs,
ModuleType moduleType)
Creates a new module extractor for a subset of a given ontology, its
manager, and a specified type of locality.
|
Copyright © 2017 The University of Manchester. All Rights Reserved.