Package org.semanticweb.owlapi.modularity
@ParametersAreNonnullByDefault
package org.semanticweb.owlapi.modularity
Modularity interface package.
-
ClassDescriptionAbstract class for convenience implementation of
ModuleExtractors able of precomputing global axioms and tautologies.Class to represent the atomic decomposition of a set of axioms.Interface for classes that extract modules based on fixed axiom bases.An interface for any class implementing ontology segmentation or modularisation.