Package | Description |
---|---|
org.semanticweb.owlapitools.decomposition | |
uk.ac.manchester.cs.atomicdecomposition | |
uk.ac.manchester.cs.factplusplusad |
This package contains a port of FaCT++ Atomic Decomposition implementation.
|
uk.ac.manchester.cs.owlapi.modularity |
Modularity package.
|
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
|
AtomList |
Decomposer.getAOS(ModuleType t) |
Collection<AxiomWrapper> |
Decomposer.getModule(Stream<OWLEntity> signature,
boolean useSemantics,
ModuleType moduletype) |
Set<OWLAxiom> |
Decomposer.getNonLocal(Stream<OWLEntity> signature,
ModuleType moduletype) |
boolean |
Modularizer.isTautology(OWLAxiom ax,
ModuleType type) |
Modifier and Type | Method and Description |
---|---|
Stream<OWLAxiom> |
AtomicDecompositionImpl.getModule(Stream<OWLEntity> signature,
boolean useSemantics,
ModuleType moduletype) |
Stream<OWLAxiom> |
AtomicDecomposition.getModule(Stream<OWLEntity> signature,
boolean useSemantics,
ModuleType moduletype) |
Constructor and Description |
---|
AtomicDecompositionImpl(List<OWLAxiom> axioms,
ModuleType type) |
AtomicDecompositionImpl(OWLOntology o,
ModuleType type) |
AtomicDecompositionImpl(OWLOntology o,
ModuleType type,
boolean excludeAssertions) |
Modifier and Type | Method and Description |
---|---|
Collection<OWLAxiom> |
OntologyBasedModularizer.getModule(Stream<OWLEntity> entities,
ModuleType type) |
boolean |
Modularizer.isTautology(OWLAxiom ax,
ModuleType type) |
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,
OWLOntologyLoaderConfiguration config,
Stream<OWLAxiom> axs,
ModuleType moduleType,
boolean excludeAssertions)
Creates a new module extractor for a subset of a given ontology, its manager, and a specified
type of locality.
|
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,
Stream<OWLAxiom> axs,
ModuleType moduleType)
Creates a new module extractor for a subset of a given ontology, its manager, and a specified
type of locality.
|
SyntacticLocalityModuleExtractor(OWLOntologyManager man,
Stream<OWLAxiom> axs,
ModuleType moduleType,
boolean excludeAssertions)
Creates a new module extractor for a subset of a given ontology, its manager, and a specified
type of locality.
|
Copyright © 2020 The University of Manchester. All rights reserved.