Package | Description |
---|---|
org.semanticweb.owlapi.modularity |
Modularity interface package.
|
org.semanticweb.owlapi.modularity.locality |
Modifier and Type | Class and Description |
---|---|
class |
AbstractModuleExtractor
Abstract class for convenience implementation of
ModuleExtractor s able of precomputing
global axioms and tautologies. |
Constructor and Description |
---|
AtomicDecomposition(OWLOntology ontology,
Function<Stream<OWLAxiom>,? extends ModuleExtractor> function)
Constructs the
AtomicDecomposition for the given axiom base based on the module
extraction the ModuleExtractor the given Function supplies. |
AtomicDecomposition(Stream<OWLAxiom> axioms,
Function<Stream<OWLAxiom>,? extends ModuleExtractor> function)
Constructs the
AtomicDecomposition for the given axiom base based on the module
extraction the ModuleExtractor the given Function supplies. |
Modifier and Type | Class and Description |
---|---|
class |
LocalityModuleExtractor
Abstract class for convenience implementation of locality-based
ModuleExtractor s. |
class |
SemanticLocalityModuleExtractor
Class to extract modules based on semantic locality.
|
class |
SyntacticLocalityModuleExtractor
Class to extract modules based on syntactic locality.
|
Copyright © 2020 The University of Manchester. All rights reserved.