Package | Description |
---|---|
org.semanticweb.owlapitools.decomposition |
Modifier and Type | Method and Description |
---|---|
Signature |
SyntacticLocalityChecker.getSignature() |
Signature |
SemanticLocalityChecker.getSignature() |
Signature |
Modularizer.getSignature() |
Signature |
LocalityChecker.getSignature() |
Modifier and Type | Method and Description |
---|---|
void |
Modularizer.extract(AxiomWrapper axiom,
Signature signature,
ModuleType type) |
void |
Modularizer.extract(List<AxiomWrapper> axioms,
Signature signature,
ModuleType type)
extract module wrt SIGNATURE and TYPE from the set of axioms
|
List<OWLEntity> |
Signature.intersect(Signature s2) |
void |
SyntacticLocalityChecker.setSignatureValue(Signature sig)
set a new value of a signature (without changing a locality parameters)
|
void |
SemanticLocalityChecker.setSignatureValue(Signature sig)
set a new value of a signature (without changing a locality parameters)
|
void |
LocalityChecker.setSignatureValue(Signature sig) |
Copyright © 2020 The University of Manchester. All rights reserved.