Package | Description |
---|---|
org.semanticweb.owlapi.modularity.locality |
Class and Description |
---|
LocalityClass
Types of locality classes that can be used.
|
LocalityEvaluator
Interface for classes that test whether an axiom is local with respect to a signature.
|
LocalityModuleExtractor
Abstract class for convenience implementation of locality-based
ModuleExtractor s. |
SyntacticLocalityEvaluator
Thread safe class for checking syntactic locality.
|
Copyright © 2020 The University of Manchester. All rights reserved.